Kleene theorem in partial Conway theories with applications

DOI10.1007/978-3-642-24897-9_4zbMATH Open1318.68119OpenAlexW100377933MaRDI QIDQ3098034FDOQ3098034

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Group axioms for iteration
• Completeness of Park induction
• Axiomatizing rational power series over natural numbers
• Iteration Grove Theories with Applications
• Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• On the definition of a family of automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• On a Theorem of R. Jungen
• Recognizable formal power series on trees
• Title not available (Why is that?)
• Matricial theories
• Title not available (Why is that?)
• The rank of a formal tree power series
• Title not available (Why is that?)
• Vector Iteration in Pointed Iterative Theories
• Title not available (Why is that?)
• Scalar and vector iteration
• Partial Conway and iteration semiring-semimodule pairs

Cited In (6)

• The Andrews-Curtis conjecture, term rewriting and first-order proofs
• Axiomatizing weighted synchronization trees and weighted bisimilarity
• Partial inductive *-semirings.
• Title not available (Why is that?)
• 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)