Automated Deduction for Categorial Grammar Logics

R.C.A. Moot

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Original languageUndefined/Unknown
Title of host publicationProceedings Accolade97
EditorsE. Kraak, R. Wasserman
Place of PublicationUvA, Amsterdam
PublisherDutch Research School in Logic, Dept. of Maths and Comp.Sc
Pages50-65
Number of pages16
Publication statusPublished - 1998

Keywords

  • Wiskunde en computerwetenschappen
  • Menswetenschappen
  • Linguistic theory
  • Applied linguistics

Cite this