Login / Signup
A Generation of Kozen's Axiomatization of the Equational Theory of the Regular Sets.
Zoltán Ésik
Werner Kuich
Published in:
Words, Semigroups, and Transductions (2001)
Keyphrases
</>
general theory
theoretical framework
equational theories
theorem proving
theoretical basis
knowledge base
horn clauses
databases
search engine
database systems
video sequences
information technology
probabilistic model
real time
theoretical foundation
theorem prover
decision theory
generation method
data sets