Sign in
Axiomatizing the equational theory of regular tree languages.
Zoltán Ésik
Published in:
J. Log. Algebraic Methods Program. (2010)
Keyphrases
</>
theorem proving
database
data mining
dynamic programming