Rewriting and Well-Definedness within a Proof System.

Issam Maamria Michael J. Butler

Published in: PAR@ITP (2010)

Keyphrases

modal logic
conjunctive queries
rewrite rules
rewriting rules
queries using views
query rewriting
presburger arithmetic
rewriting systems
data sets
neural network
learning algorithm
description language
clause learning