Rewriting with a Nondeterministic Choice Operator.

Stéphane Kaplan

Published in: Theor. Comput. Sci. (1988)

Keyphrases

finite state
multiscale
data sets
databases
neural network
information retrieval
data sources
logic programs
model checking
conjunctive queries
shape analysis
query rewriting
finite automata