A Characterization of Alternating Log Time by First Order Functional Programs.

Guillaume Bonfante Jean-Yves Marion Romain Péchoux

Published in: LPAR (2006)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
stochastic grammar
first order logic
functional language
database
machine learning
horn clauses
multi agent systems
data mining
search space
general purpose