Login / Signup
A Good Class of Tree Automata and Application to Inductive Theorem Proving.
Denis Lugiez
Published in:
ICALP (1998)
Keyphrases
</>
theorem proving
tree automata
first order logic
theorem prover
parallel search
inference rules
machine learning
finite state
inductive inference
term rewriting
databases
artificial intelligence
relational databases
knowledge representation
regular expressions