Completeness of Park induction
From MaRDI portal
Recommendations
Cites work
- A completeness theorem for Kleene algebras and the algebra of regular events
- A Perspective View of Discrete Automata and Their Design
- Algebras of iteration theories
- Complete systems of \(\mathcal B\)-rational identities
- Equational axioms for regular sets
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- scientific article; zbMATH DE number 4018407 (Why is no real title available?)
- scientific article; zbMATH DE number 439891 (Why is no real title available?)
- scientific article; zbMATH DE number 3654376 (Why is no real title available?)
- scientific article; zbMATH DE number 3731311 (Why is no real title available?)
- scientific article; zbMATH DE number 3733226 (Why is no real title available?)
- scientific article; zbMATH DE number 3778700 (Why is no real title available?)
- scientific article; zbMATH DE number 3485202 (Why is no real title available?)
- scientific article; zbMATH DE number 3561239 (Why is no real title available?)
- scientific article; zbMATH DE number 3562490 (Why is no real title available?)
- scientific article; zbMATH DE number 1231455 (Why is no real title available?)
- scientific article; zbMATH DE number 1114042 (Why is no real title available?)
- scientific article; zbMATH DE number 4197440 (Why is no real title available?)
- scientific article; zbMATH DE number 3349291 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- Independence of the equational axioms for iteration theories
- ITERATION ALGEBRAS
- Notes on equational theories of relations
- On flowchart theories. I. The deterministic case
- On flowchart theories. II: The nondeterministic case
- On the algebraic structure of rooted trees
- Predicate Transformer Semantics
- Results on the propositional \(\mu\)-calculus
- Scott induction and closure under \(\omega\)-sups
- Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
- Solving polynomial fixed point equations
- Une remarque sur les systèmes complets d'identités rationnelles
- Vector Iteration in Pointed Iterative Theories
Cited in
(25)- Equational properties of iteration in algebraically complete categories
- Group axioms for iteration
- The equational logic of fixed points
- On the equational definition of the least prefixed point.
- Algebraically complete semirings and Greibach normal form
- Pushdown tree automata, algebraic tree systems, and algebraic tree series
- Axiomatizing weighted synchronization trees and weighted bisimilarity
- A connection between concurrency and language theory
- Superconformal symmetry in three dimensions
- Equational properties of fixed point operations in Cartesian categories: an overview
- Precise upper and lower bounds for the monotone constraint satisfaction problem
- Equational properties of stratified least fixed points (extended abstract)
- Equational axioms associated with finite automata for fixed point operations in cartesian categories
- Dagger extension theorem
- Kleene theorem in partial Conway theories with applications
- Residuated Park theories
- scientific article; zbMATH DE number 1231455 (Why is no real title available?)
- Domain mu-calculus
- THE POWER OF THE GROUP-IDENTITIES FOR ITERATION
- A coalgebraic take on regular and -regular behaviours
- Equational properties of fixed-point operations in Cartesian categories: an overview
- Axiomatizing flat iteration
- Axiomatizing the equational theory of regular tree languages
- Completions of -algebras
- Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?
This page was built for publication: Completeness of Park induction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1391869)
