Weak Second Order Characterizations of Various Program Verification Systems.

Johann A. Makowsky Ildikó Sain

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

Keyphrases

artificial intelligence
management system
higher order
neural network
knowledge base
image processing
video sequences
search algorithm
distributed systems
retrieval systems