×

Found 9 Documents (Results 1–9)

Proof search and counter model of positive minimal predicate logic. (English) Zbl 1286.03042

Chen, Yixiang (ed.) et al., Proceedings of the 1st international conference on foundations of informatics, computing and software (FICS 2008), East China Normal University, Shanghai, China, June 3–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 212, 87-102 (2008).
MSC:  03B35 03B25 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Main Field

Software