Items where Subject is "03-XX Mathematical logic and foundations > 03Bxx General logic > 03B99 None of the above, but in this section"
![]() | Up a level |
- MSC Classification Numbers (2)
- 03-XX Mathematical logic and foundations (2)
- 03Bxx General logic (2)
- 03B99 None of the above, but in this section (2)
- 03Bxx General logic (2)
- 03-XX Mathematical logic and foundations (2)
Group by: Authors | Item Type
Jump to: Article | Proceedings article
Number of items at this level: 2.
Article
Heusch, Peter
(1999)
The Complexity of the Falsifiability Problem for Pure Implicational Formulas.
Published in:
Discrete Applied Mathematics Vol. 96-97.
pp. 127-138.
Proceedings article
Heusch, Peter
(1995)
The Complexity of the Falsifiability Problem for Pure Implicational Formulas.
Published In:
Mathematical foundations of computer science 1995 : 20th international symposium ; proceedings, Lecture notes in computer science. 969 Springer 1995, pp. 221-226.