Generalizing proofs in monadic languages.

Matthias Baaz Piotr Wojtylak

Published in: Ann. Pure Appl. Log. (2008)

Keyphrases

expressive power
computer programs
deductive databases
theorem proving
language independent
learning algorithm
cross lingual
language identification
description languages
formal proof
databases
machine learning
text summarization
grammatical inference
datalog queries
formal proofs