Normal Proofs and Their Grammar

Masako Takahashi, Yohji Akama, Sachio Hirokawa

Research output: Contribution to journalArticle

11 Citations (Scopus)

Abstract

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
Volume125
Issue number2
DOIs
Publication statusPublished - Mar 15 1996

Fingerprint

Grammar

All Science Journal Classification (ASJC) codes

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

Cite this

Normal Proofs and Their Grammar. / Takahashi, Masako; Akama, Yohji; Hirokawa, Sachio.

In: Information and Computation, Vol. 125, No. 2, 15.03.1996, p. 144-153.

Research output: Contribution to journalArticle

Takahashi, Masako ; Akama, Yohji ; Hirokawa, Sachio. / Normal Proofs and Their Grammar. In: Information and Computation. 1996 ; Vol. 125, No. 2. pp. 144-153.
@article{1d9487ca057d4de9898915ae3d02c3d4,
title = "Normal Proofs and Their Grammar",
abstract = "We present grammatical (or equational) descriptions of the set of normal inhabitants {M",
author = "Masako Takahashi and Yohji Akama and Sachio Hirokawa",
year = "1996",
month = "3",
day = "15",
doi = "10.1006/inco.1996.0027",
language = "English",
volume = "125",
pages = "144--153",
journal = "Information and Computation",
issn = "0890-5401",
publisher = "Elsevier Inc.",
number = "2",

}

TY - JOUR

T1 - Normal Proofs and Their Grammar

AU - Takahashi, Masako

AU - Akama, Yohji

AU - Hirokawa, Sachio

PY - 1996/3/15

Y1 - 1996/3/15

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

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

UR - http://www.scopus.com/inward/record.url?scp=0346089929&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0346089929&partnerID=8YFLogxK

U2 - 10.1006/inco.1996.0027

DO - 10.1006/inco.1996.0027

M3 - Article

AN - SCOPUS:0346089929

VL - 125

SP - 144

EP - 153

JO - Information and Computation

JF - Information and Computation

SN - 0890-5401

IS - 2

ER -