Completeness of Park induction
type: Item
instance of: scholarly article
title: Completeness of Park induction
zbMATH Open document ID: 0901.68107
DOI: 10.1016/S0304-3975(96)00240-X
author: Zoltán Ésik
published in: Theoretical Computer Science
publication date: 1998-07-23T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1178601
zbMATH Keywords: commutative identity
zbMATH Keywords: Horn theory of iteration
MaRDI profile type: Publication
cites work: Q3030266
cites work: Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
cites work: Vector Iteration in Pointed Iterative Theories
cites work: ITERATION ALGEBRAS
cites work: Equational axioms for regular sets
cites work: Notes on equational theories of relations
cites work: Solving polynomial fixed point equations
cites work: Une remarque sur les systèmes complets d'identités rationnelles
cites work: Q5639639
cites work: Q4132170
cites work: A Perspective View of Discrete Automata and Their Design
cites work: On the algebraic structure of rooted trees
cites work: Q3919058
cites work: Q3957911
cites work: Algebras of iteration theories
cites work: Independence of the equational axioms for iteration theories
cites work: Q5203698
cites work: Q4222756
cites work: Q4375811
cites work: Q4068086
cites work: Results on the propositional \(\mu\)-calculus
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: Complete systems of \(\mathcal B\)-rational identities
cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
cites work: Q3853827
cites work: Predicate Transformer Semantics
cites work: Q5624635
cites work: Scott induction and closure under \(\omega\)-sups
cites work: Q3920613
cites work: On flowchart theories. I. The deterministic case
cites work: On flowchart theories. II: The nondeterministic case
cites work: Q3141916
cites work: Q4134935
full work available at URL: s0304-3975(96)00240-x
OpenAlex ID: W2091780332
description: scientific article; zbMATH DE number 1178601