scientific article; zbMATH DE number 938515
From MaRDI portal
Publication:4896924
zbMath0856.08009MaRDI QIDQ4896924
Publication date: 9 December 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
quasivarietiesConway semiringBoffa implicationmodels of the Conway identitiesNg-Tarski implicationstar semiring
Formal languages and automata (68Q45) Applications of universal algebra in computer science (08A70) Quasivarieties (08C15) Ordered rings, algebras, modules (06F25) Axiomatic model classes (08C10)
Related Items (4)
Axiomatizing rational power series over natural numbers ⋮ On the equational definition of the least prefixed point. ⋮ Iteration Semirings ⋮ Equational theories for automata
This page was built for publication:
