Internal axioms for domain semirings
Under an Elsevier user license
open archive
Keywords
Semiring
Kleene algebra
Modal semiring
Domain operator
Codomain operator
Antidomain operator
Algebra of domain elements
Distributive lattice
Boolean algebra
Heyting algebra
Löb’s formula
Automated theorem proving
Cited by (0)
Copyright © 2010 Elsevier B.V. All rights reserved.