|
This article is cited in 13 scientific papers (total in 13 papers)
Propositional primal logic with disjunction
L. Beklemisheva, Yu. Gurevichb a Steklov Mathematical Institute, Gubkina str. 8, Moscow, Russia
b Microsoft Research, One Microsoft Way, Redmond, USA
Received: 30.05.2011
Linking options:
https://www.mathnet.ru/eng/jlc1
|
Statistics & downloads: |
Abstract page: | 111 |
|