From Jinja bytecode to term rewriting: A complexity reflecting transformation.

Georg Moser Michael Schaper

Published in: Inf. Comput. (2018)

Keyphrases

term rewriting
theorem proving
theorem prover
virtual machine
operational semantics
knuth bendix
databases
machine learning
database systems
computational complexity
email