Search alternatives:
automation theory » automata theory, estimation theory, animation theory
automatic theory » automatic theorem, automata theory, axiomatic theory
languages » language
Cover Image
Read Now

1
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... formal operational semantics for languages of type Prolog III -- Efficiency considerations on goal...”
Cover Image
Read Now

2
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z...”
Cover Image
Read Now

3
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...On disjunctive self-reducibility -- The knowledge representation language LLILOG -- Completeness...”