One-Counter Verifiers for Decidable Languages.

Abuzer Yakaryilmaz

Published in: CSR (2013)

Keyphrases

expressive power
first order logic
language independent
transitive closure
neural network
object oriented
grammatical inference
databases
machine learning
information extraction
logic programs
cross lingual
multi lingual