Login / Signup
Meta-variables as infinite lists in nominal terms unification and rewriting.
Murdoch James Gabbay
Published in:
Log. J. IGPL (2012)
Keyphrases
</>
random variables
database
real time
databases
variable selection
theorem proving
rewrite rules