Polymorphic Rewriting Conserves Algebraic Strong Normalization - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Val Tannen, Jean H. Gallier. Polymorphic Rewriting Conserves Algebraic Strong Normalization. Theoretical Computer Science, 83(1):3-28, 1991.

@article{TannenG91,
  title = {Polymorphic Rewriting Conserves Algebraic Strong Normalization},
  author = {Val Tannen and Jean H. Gallier},
  year = {1991},
  tags = {graph-rewriting,  algebra, rewriting},
  researchr = {https://researchr.org/publication/TannenG91},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {83},
  number = {1},
  pages = {3-28},
}

runs on WebDSL