Left omega algebras and regular equations
type: Item
instance of: scholarly article
title: Left omega algebras and regular equations
zbMATH Open document ID: 1279.68242
author: Georg Struth
published in: The Journal of Logic and Algebraic Programming
publication date: 2013-01-16T00:00:00Z
Mathematics Subject Classification ID: 68Q70
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 6126071
zbMATH Keywords: Kleene and omega algebra
zbMATH Keywords: Arden's rule
zbMATH Keywords: regular equations
zbMATH Keywords: automated and interactive theorem proving
zbMATH Keywords: formalised mathematics
describes a project that uses: Isabelle/HOL
describes a project that uses: Sledgehammer
MaRDI profile type: Publication
full work available at URL: j.jlap.2012.05.004
OpenAlex ID: W2083091353
cites work: Regular Algebra Applied to Path-finding Problems
cites work: Automatic Proof and Disproof in Isabelle/HOL
cites work: Une condition impliquant toutes les identités rationnelles
cites work: Q2721093
cites work: Q5639639
cites work: Algebraic Notions of Termination
cites work: Internal axioms for domain semirings
cites work: A calculational approach to mathematical induction
cites work: Automated Analysis of Regular Algebra
cites work: Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
cites work: Algebraic notions of nontermination: Omega and divergence in idempotent semirings
cites work: Q3358736
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: Isabelle/HOL. A proof assistant for higher-order logic
cites work: Two Complete Axiom Systems for the Algebra of Regular Events
cites work: Q4103032
DOI: 10.1016/J.JLAP.2012.05.004
description: scientific article; zbMATH DE number 6126071