The Existential Theory of the Pomset of r.e. Degrees with a Predicate for Single Jump Reducibility.

Steffen Lempp Manuel Lerman

Published in: J. Symb. Log. (1992)

Keyphrases

theoretical framework
artificial intelligence
search engine
markov chain
computational model
query answering
data sets
databases
information retrieval
decision trees
search algorithm
computational complexity
theoretical basis