Kleene theorem in partial Conway theories with applications

DOI10.1007/978-3-642-24897-9_4MaRDI QIDQ3098034zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 5499328
• Cycle-Free Finite Automata in Partial Iterative Semirings
• Partial inductive *-semirings.
• Partial Conway and iteration semiring-semimodule pairs
• scientific article; zbMATH DE number 4039338

Cites work

• scientific article; zbMATH DE number 5141497 (Why is no real title available?)
• scientific article; zbMATH DE number 3731311 (Why is no real title available?)
• scientific article; zbMATH DE number 3778700 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 2040320 (Why is no real title available?)
• scientific article; zbMATH DE number 2040322 (Why is no real title available?)
• scientific article; zbMATH DE number 1358710 (Why is no real title available?)
• scientific article; zbMATH DE number 233974 (Why is no real title available?)
• scientific article; zbMATH DE number 5499328 (Why is no real title available?)
• scientific article; zbMATH DE number 3349291 (Why is no real title available?)
• Axiomatizing rational power series over natural numbers
• Completeness of Park induction
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Group axioms for iteration
• Iteration Grove Theories with Applications
• Matricial theories
• On a Theorem of R. Jungen
• On the definition of a family of automata
• Partial Conway and iteration semiring-semimodule pairs
• Recognizable formal power series on trees
• Scalar and vector iteration
• Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
• The rank of a formal tree power series
• Vector Iteration in Pointed Iterative Theories

Cited in

(6)

• The Andrews-Curtis conjecture, term rewriting and first-order proofs
• Axiomatizing weighted synchronization trees and weighted bisimilarity
• Partial inductive *-semirings.
• scientific article; zbMATH DE number 1735935 (Why is no real title available?)
• Hierarchy theorems for \(k\)OBDDs and \(k\)IBDDs
• Diagonalisation and Church's Thesis: Kleene's Homework

This page was built for publication: Kleene theorem in partial Conway theories with applications

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