Journal of the ACM Bibliography

Yannis E. Ioannidis and Eugene Wong. Towards an algebraic theory of recursion. Journal of the ACM, 38(2):329-381, April 1991. [BibTeX entry]
Categories and Subject Descriptors: D.3.2 [Programming Languages]: Language Classifications -- nonprocedural languages; F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages -- algebraic approaches to semantics; F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic -- logic programming; H.2.3 [Database Management]: Languages -- query languages; I.1.3 [Algebraic Manipulation]: Languages and Systems -- nonprocedural languages, special-purpose algebraic systems; I.2.3 [Artificial Intelligence]: Deduction and Theorem Proving -- logic programming

Selected papers that cite this one

Selected references


Shortcuts:

  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database