1
The Münster Logic-Imperative Language
Inhaltsverzeichnis:
“... Foundations ..... 9 -- 2.1 Logic Programming and Non-Deterministic Execution ..... 9 -- 2.2 Constraint-Logic...”