Search alternatives:
languages » language
automata » automated, automatic
Cover Image
Read Now

1
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... infinitary proof theory -- Alogtime algorithms for tree isomorphism, comparison, and canonization...”
Cover Image
Read Now

2
Published 2013
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

3
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... subsystem Q+ from the unsatisfiable sentences in the language of addition -- On the meaning of essentially...”
Cover Image
Read Now

4
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... transformations -- A stable model semantics for behavioral inheritance in deductive object oriented languages -- A...”
Cover Image
Read Now

5
Published 1990
Springer Vienna
Table of Contents: “... -- Literatur -- 6. Inferenzstrategien -- 6.1 Einführung -- 6.2 Theorie der Vorwärtsverkettung (Forward Chaining...”
Cover Image
Read Now

6
by Ceri, Stefano, Gottlob, Georg, Tanca, Letizia
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...1 Logic Programming and Databases: An Overview -- 1.1 Logic Programming as Query Language -- 1.2...”
Cover Image
Read Now

7
Published 1999
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

8
Published 2011
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”