Proving Matijasevich's Lemma with a Default Arithmetic Strategy.

Matthew Wilding

Published in: J. Autom. Reason. (1991)

Keyphrases

cooperative
data sets
artificial intelligence
real time
databases
computer vision
information systems
user interface