A Recursive Second Order Initial Algebra Specification of Primitive Recursion - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Karl Meinke. A Recursive Second Order Initial Algebra Specification of Primitive Recursion. Acta Informatica, 31(4):329-340, 1994.

@article{Meinke94,
  title = {A Recursive Second Order Initial Algebra Specification of Primitive Recursion},
  author = {Karl Meinke},
  year = {1994},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/Meinke94},
  cites = {0},
  citedby = {0},
  journal = {Acta Informatica},
  volume = {31},
  number = {4},
  pages = {329-340},
}

runs on WebDSL