A tableaux calculus for ambiguous quantification

Authors
Publication date 1998
Book title Proceedings tableaux '98
Publisher Berlin: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Note LNAI
Permalink to this page
Back