The logic of recursive equations

DOI10.2307/2586843MaRDI QIDQ4212915zbMATH OpenOpenAlexFDO

Authors Antonius J. C. Hurkens, Monica McArthur, Yiannis N. Moschovakis, Lawrence S. Moss, Glen Whitney

Publication date 27 April 1999

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.4168

zbMATH Keywords

category of structuresfragments of FLRfunctional language of recursioniteration theory

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract and axiomatic computability and recursion theory (03D75) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1163990
• Algebra and Coalgebra in Computer Science
• The formal language of recursion
• Recursion and corecursion have the same equational logic

Cites work

• A model of concurrency with fair merge and full recursion
• Categorial generalization of algebraic recursion theory
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 233974 (Why is no real title available?)

Cited in

(20)

• A logic of recursion
• Group axioms for iteration
• Recursion and corecursion have the same equational logic
• A complete logic for behavioural equivalence in coalgebras of finitary set functors
• A complete logical system for the equality of recursive terms for sets
• The formal language of recursion
• scientific article; zbMATH DE number 4091489 (Why is no real title available?)
• scientific article; zbMATH DE number 1330451 (Why is no real title available?)
• scientific article; zbMATH DE number 1163990 (Why is no real title available?)
• scientific article; zbMATH DE number 2079049 (Why is no real title available?)
• scientific article; zbMATH DE number 6987095 (Why is no real title available?)
• scientific article; zbMATH DE number 3910 (Why is no real title available?)
• THE POWER OF THE GROUP-IDENTITIES FOR ITERATION
• Algebra and Coalgebra in Computer Science
• A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors
• Parametric corecursion
• Fractals from regular behaviours
• A complete inference system for probabilistic infinite trace equivalence
• Axiomatizing the equational theory of regular tree languages
• Recursion equation sets computing logic programs

This page was built for publication: The logic of recursive equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4212915)