Tableau reasoning and programming with dynamic first order logic

Authors
Publication date 2001
Journal Logic Journal of the IGPL
Volume | Issue number 9 | 3
Pages (from-to) 411-445
Number of pages 35
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Permalink to this page
Back