Third-Order Idealized Algol with Iteration Is Decidable.

Andrzej S. Murawski Igor Walukiewicz

Published in: FoSSaCS (2005)

Keyphrases

programming language
neural network
first order logic
data structure
artificial intelligence
objective function
database
real world
object oriented
transitive closure
datalog programs
object oriented concepts