On the public citation graph

Varieties of Iteration Theories

https://doi.org/10.1137/0217059
0 signed · 34 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-08921-7_58openalex-snapshot
Programming languages as mathematical objects
inferredcites →https://doi.org/10.1016/0021-8693(80)90212-4openalex-snapshot
Partially additive categories and flow-diagram semantics
inferredcites →https://doi.org/10.1016/0021-8693(84)90035-8openalex-snapshot
Iterative and recursive matrix theories
inferredcites →https://doi.org/10.1016/0022-0000(78)90024-7openalex-snapshot
On the algebraic structure of rooted trees
inferredcites →https://doi.org/10.1016/0022-0000(83)90037-5openalex-snapshot
Recursion and iteration in continuous theories: The “M-construction”
inferredcites →https://doi.org/10.1016/0022-0000(83)90044-2openalex-snapshot
Algebras of iteration theories
inferredcites →https://doi.org/10.1016/0022-0000(85)90059-5openalex-snapshot
Axiomatizing schemes and their behaviors
inferredcites →https://doi.org/10.1016/0022-0000(87)90011-0openalex-snapshot
On flowchart theories Part I. The deterministic case
inferredcites →https://doi.org/10.1016/0304-3975(83)90014-2openalex-snapshot
Iterative algebras
inferredcites →https://doi.org/10.1016/0304-3975(83)90059-2openalex-snapshot
Fundamental properties of infinite trees
inferredcites →https://doi.org/10.1016/s0022-0000(77)80015-9openalex-snapshot
Scalar and vector iteration
inferredcites →https://doi.org/10.1016/s0049-237x(08)71949-9openalex-snapshot
Monadic Computation And Iterative Algebraic Theories
inferredcites →https://doi.org/10.1073/pnas.50.5.869openalex-snapshot
FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
inferredcites →https://doi.org/10.1109/sfcs.1976.24openalex-snapshot
Rational algebraic theories and fixed-point solutions
inferredcites →https://doi.org/10.1109/tse.1976.233800openalex-snapshot
Structured Programming With and Without go to Statements
inferredcites →https://doi.org/10.1137/0209002openalex-snapshot
Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
inferredcites →https://doi.org/10.1137/0209039openalex-snapshot
Vector Iteration in Pointed Iterative Theories
inferredcites →https://doi.org/10.1145/321992.321997openalex-snapshot
Initial Algebra Semantics and Continuous Algebras
inferredcites →https://doi.org/10.3233/fi-1982-5205openalex-snapshot
Metric Iteration Theories

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1006/inco.1993.1001openalex-snapshot
Iteration Theories of Synchronization Trees
inferred← citeshttps://doi.org/10.1007/3-540-51498-8_5openalex-snapshot
The equational logic of iterative processes
inferred← citeshttps://doi.org/10.1007/3-540-53982-4_15openalex-snapshot
Iteration algebras extended abstract
inferred← citeshttps://doi.org/10.1007/3-540-55511-0_24openalex-snapshot
Program correctness and matricial iteration theories
inferred← citeshttps://doi.org/10.1007/3-540-58027-1_19openalex-snapshot
Some quasi-varieties of iteration theories
inferred← citeshttps://doi.org/10.1007/978-1-4471-3860-0_7openalex-snapshot
Iteration Theories of Synchronization Trees
inferred← citeshttps://doi.org/10.1016/0022-0000(93)90010-topenalex-snapshot
Matrix and matricial iteration theories, Part I
inferred← citeshttps://doi.org/10.1016/0022-0000(93)90011-kopenalex-snapshot
Matrix and matricial iteration theories, Part II
inferred← citeshttps://doi.org/10.1016/0304-3975(89)90012-1openalex-snapshot
Equational logic of circular data type specification
inferred← citeshttps://doi.org/10.1016/s0304-3975(96)00248-4openalex-snapshot
The equational logic of fixed points
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00322-9openalex-snapshot
The algebra of stream processing functions
inferred← citeshttps://doi.org/10.1017/s0960129500000104openalex-snapshot
Equational axioms for regular sets
inferred← citeshttps://doi.org/10.1080/00029890.1990.11995668openalex-snapshot
A Cayley Theorem for Boolean Algebras
inferred← citeshttps://doi.org/10.1145/115234.115352openalex-snapshot
Floyd-Hoare logic in iteration theories
inferred← citeshttps://doi.org/10.14232/actacyb.23.1.2017.23openalex-snapshot
Publication List of Zoltán Ésik
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.