Эта публикация цитируется в 13 статьях

Propositional primal logic with disjunction

L. Beklemishev^a, Yu. Gurevich<sup>b

a</sup> Steklov Mathematical Institute, Gubkina str. 8, Moscow, Russia
^b Microsoft Research, One Microsoft Way, Redmond, USA

Поступила в редакцию: 30.05.2011

Язык публикации: английский

DOI: 10.1093/logcom/exs018

Реферативные базы данных:

• 
• 
• 
•