Algebraic notions of nontermination: Omega and divergence in idempotent semirings
type: Item
instance of: scholarly article
title: Algebraic notions of nontermination: Omega and divergence in idempotent semirings
zbMATH Open document ID: 1205.68111
author: Peter Höfner
author: Georg Struth
published in: The Journal of Logic and Algebraic Programming
publication date: 2010-11-11T00:00:00Z
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68N99
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5815219
zbMATH Keywords: idempotent semirings
zbMATH Keywords: modal semirings
zbMATH Keywords: nontermination
zbMATH Keywords: recursion and corecursion
zbMATH Keywords: omega
zbMATH Keywords: divergence
describes a project that uses: Mace4
describes a project that uses: Prover9
MaRDI profile type: Publication
full work available at URL: j.jlap.2010.07.016
OpenAlex ID: W2119087119
cites work: Fixed-point calculus
cites work: Q4289659
cites work: Q2721093
cites work: Kleene algebra with domain
cites work: Algebraic Notions of Termination
cites work: Modal Semirings Revisited
cites work: Theory Is Forever
cites work: Methods and applications of (max,+) linear algebra
cites work: Automated Reasoning in Kleene Algebra
cites work: Regular expressions and the equivalence of programs
cites work: Q3358736
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: Q4202947
cites work: Algebras of modal operators and partial correctness
cites work: Q3907077
cites work: Dynamic algebras: Examples, constructions, applications
cites work: Q5596826
cites work: Abstract abstract reduction
cites work: Modal Tools for Separation and Refinement
cites work: Towards a refinement algebra
cites work: Q4002149
DOI: 10.1016/J.JLAP.2010.07.016
description: scientific article; zbMATH DE number 5815219