The Surprising Power of Restricted Programs and Gödel's Functionals.

Lars Kristiansen Paul J. Voda

Published in: CSL (2003)

Keyphrases

power consumption
higher order
search engine
special case
high level
similarity measure
answer sets
fixpoint
database
real time
information retrieval
website
bayesian networks
hidden markov models
automatic programming