Tableaux for quantified hybrid logic

Authors
Publication date 2002
Journal Lecture Notes in Computer Science
Volume | Issue number 2381
Pages (from-to) 38-52
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Note Proceedings title: Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002 Publisher: Springer Verlag Place of publication: Berlin Editors: U. Egly, C. Fermüller
Permalink to this page
Back