Normal Proofs and Their Grammar

Masako Takahashi, Yohji Akama, Sachio Hirokawa

Research output: Contribution to journalArticle

12 Citations (Scopus)


We present grammatical (or equational) descriptions of the set of normal inhabitants {M

Original languageEnglish
Pages (from-to)144-153
Number of pages10
JournalInformation and Computation
Issue number2
Publication statusPublished - Mar 15 1996

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Information Systems
  • Computer Science Applications
  • Computational Theory and Mathematics

Fingerprint Dive into the research topics of 'Normal Proofs and Their Grammar'. Together they form a unique fingerprint.

Cite this