The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Fixpoint approach to the theory of computation

The work

AuthorsZohar Manna; Jean Vuillemin
Editors
Typemisc
Year1972
Also known asanon1972fixpoint
Citekeymanna1972fixpoint

Where it appeared

Published inCommunications of the ACM
PublisherAssociation for Computing Machinery (ACM)
Volume15
Pages528--536

Identifiers

DOI10.1145/361454.361460

How it got here

How it got hereagent via unpaywall
Added2026-10-23 08:26 UTC
Not denied bya person 2026-10-29 17:12 UTC

Filed under

cacm

Cite it as

@misc{manna1972fixpoint,
  title        = {Fixpoint approach to the theory of computation},
  author       = {Zohar Manna and Jean Vuillemin},
  year         = {1972},
  journal      = {Communications of the ACM},
  publisher    = {Association for Computing Machinery (ACM)},
  volume       = {15},
  pages        = {528--536},
  doi          = {10.1145/361454.361460},
}

This record lives at https://refs.drheap.org/manna1972fixpoint/ and will keep doing so. It used to be called anon1972fixpoint, and those addresses still resolve to this one.