Left omega algebras and regular equations
Under an Elsevier user license
open archive
Keywords
Kleene and omega algebra
Arden’s rule
Regular equations
Automated and interactive theorem proving
Formalised mathematics
Cited by (0)
Copyright © 2012 Elsevier Inc. All rights reserved.