A tableaux calculus for ambiguous quantification

Authors
Publication date 1998
Publisher Amsterdam: ILLC, University of Amsterdam
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Report
Note Report LP-1998-10
Permalink to this page
Back