Quantifier-free definable graph operations preserving recognizability.

Bruno Courcelle

Published in: Logic and Automata (2008)

Keyphrases

quantifier free
first order logic
quantifier elimination

expressive power
theorem proving
directed acyclic graph

rewrite systems
machine learning

object oriented
theorem prover