A short proof that O_2 is an MCFL.

Mark-Jan Nederhof

Published in: ACL (1) (2016)

Keyphrases

theorem prover
geometry theorem proving
databases
machine learning
genetic algorithm
clustering algorithm
case study
natural language
preprocessing
special case
theorem proving
proof planning