On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems

Johann A. Makowsky Ildikó Sain

Published in: LICS (1986)

Keyphrases

neural network
intelligent systems
building blocks
management system
higher order
computer systems
database
data mining
case study
expert systems
distributed systems
logic programming
high order