Who Cited It

Results on the propositional μ-calculus

1983 · Theoretical Computer Science · 1,825 citations · 0 from inside this corpus

Dexter Kozen

No abstract in the source record.

this paper works it cites works citing it node size = global citations · hover for the full title

Links

DOI · Open access copy · OpenAlex record

Topics

Logic, Reasoning, and KnowledgeComputer Science
Logic, programming, and type systemsComputer Science
Advanced Algebra and LogicComputer Science

Is this record sound?

complete

Nothing in this record contradicts itself and no field we check is missing.

  • supports1 author record(s) attached.
  • supports28 reference(s) recorded.
  • neutralThe DOI carries no year to check against.
  • supportsA title is present.

Provenance

Everything above was read from one stored OpenAlex payload, fetched 2026-09-04T03:58:53+00:00.

sha256 db1645b78a57e29a…