Normal Proofs and Their Grammar - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Masako Takahashi, Yohji Akama, Sachio Hirokawa. Normal Proofs and Their Grammar. Inf. Comput., 125(2):144-153, 1996.

@article{TakahashiAH96,
  title = {Normal Proofs and Their Grammar},
  author = {Masako Takahashi and Yohji Akama and Sachio Hirokawa},
  year = {1996},
  tags = {grammar},
  researchr = {https://researchr.org/publication/TakahashiAH96},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {125},
  number = {2},
  pages = {144-153},
}

runs on WebDSL