Kleene Theorem in Partial Conway Theories with Applications
From MaRDI portal
Publication:3098034
DOI10.1007/978-3-642-24897-9_4zbMath1318.68119OpenAlexW100377933MaRDI QIDQ3098034
Publication date: 11 November 2011
Published in: Algebraic Foundations in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24897-9_4
Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items (1)
Cites Work
- The rank of a formal tree power series
- Recognizable formal power series on trees
- Scalar and vector iteration
- Matricial theories
- Group axioms for iteration
- Completeness of Park induction
- Axiomatizing rational power series over natural numbers
- Partial Conway and Iteration Semiring-Semimodule Pairs
- On the definition of a family of automata
- On a Theorem of R. Jungen
- Iteration Grove Theories with Applications
- Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
- Vector Iteration in Pointed Iterative Theories
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Kleene Theorem in Partial Conway Theories with Applications