Pushdown Permuter Characterization Theorem.

Prakash V. Ramanan

Published in: SIAM J. Comput. (1984)

Keyphrases

model checking
von neumann
databases
multi agent
real time
information retrieval
artificial intelligence
decision making
face recognition
high quality
expert systems
belief revision
digital topology