[Lecture Notes in Computer Science] Automated Deduction – CADE-22 Volume 5663 || A Tableau Calculus for Regular Grammar Logics with Converse

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automated Deduction — CADE-16 Volume 1632 || A PSpace Algorithm for Graded Modal Logic

✍ Ganzinger, Harald 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 213 KB

This Book Constitutes The Refereed Proceedings Of The 16th International Conference On Automated Deduction, Cade-16, Held In Trento, Italy In July 1999 As Part Of Floc'99. The 21 Revised Full Papers Presented Were Carefully Reviewed And Selected From A Total Of 83 Submissions. Also Included Are 15 S