Kleene Theorem in Partial Conway Theories with Applications

DOI10.1007/978-3-642-24897-9_4zbMath1318.68119OpenAlexW100377933MaRDI QIDQ3098034

Tamás Hajgató, Zoltán Ésik

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (1)

Axiomatizing weighted synchronization trees and weighted bisimilarity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Kleene Theorem in Partial Conway Theories with Applications