On Termination Problems for Finitely Interpreted ALGOL-like Programs.

Published in: Acta Informatica (1982)

Keyphrases

decision making
website
expert systems
programming language
application domains
problems involving
solving problems
databases
social networks
computer vision
optimization problems
inductive inference
difficult problems