XPath and modal logics of finite DAG's

Authors
Publication date 2003
Host editors
  • M. Mayer
  • F. Pirri
Book title Automated Reasoning with Analytic Tableaux and Related Methods (Proc. TABLEAUX 2003), volume 2796 of LNAI
Pages (from-to) 150-164
Publisher Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back