Search alternatives:
automated theorem » automata theory
formal language » formal languages
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...”