Skip to main navigation Skip to search Skip to main content

Proof Theory and Formal Grammars - Applications of Normalization

Hans Joerg Tiede

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original languageAmerican English
Title of host publicationFoundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics.
StatePublished - 2003

Disciplines

  • Linguistics
  • Mathematics

Cite this