Login / Signup
Formal Proofs About Rewriting Using ACL2.
José-Luis Ruiz-Reina
José-Antonio Alonso
María-José Hidalgo
Francisco-Jesús Martín-Mateos
Published in:
Ann. Math. Artif. Intell. (2002)
Keyphrases
</>
formal proofs
natural language learning
conjunctive queries
query rewriting
rewrite rules
rewriting rules
rewriting systems
termination analysis
real world
multiscale
data structure
response time
query answering
regular path queries