A Simple Proof of the Undecidability of Strong Normalisation - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Pawel Urzyczyn. A Simple Proof of the Undecidability of Strong Normalisation. Mathematical Structures in Computer Science, 13(1):5-13, 2003.

@article{Urzyczyn03,
  title = {A Simple Proof of the Undecidability of Strong Normalisation},
  author = {Pawel Urzyczyn},
  year = {2003},
  researchr = {https://researchr.org/publication/Urzyczyn03},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {13},
  number = {1},
  pages = {5-13},
}

runs on WebDSL