Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX 2000, St Andrews, Scotland, GB, July 3--7, 2000. Proceedings

DOI10.1007/10722086zbMath0941.00032OpenAlexW2492533399MaRDI QIDQ1572743

No author found.

Publication date: 26 July 2000

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/10722086

zbMATH Keywords

ConferenceProceedingsAutomated reasoningAnalytic tableauxSt Andrews, Scotland (GB)TABLEAUX 2000

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (1)

Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation

Uses Software

• MSPASS
• Unnamed Item

This page was built for publication: Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX 2000, St Andrews, Scotland, GB, July 3--7, 2000. Proceedings