21
Published 1986
Springer Berlin Heidelberg
Table of Contents: ... computation with threshold functions -- The topology of provability in complexity theory -- Optimal...

22
by Homer, Steven, Selman, Alan L.
Published 2001
Springer New York
Table of Contents: ... to Complexity Theory -- 5 Basic Results of Complexity Theory -- 6 Nondeterminism and NP-Completeness -- 7...

23
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... for terms and automata -- Relative konsistenz -- Segment translation systems -- First steps towards a theory...

24
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... theory -- On the synthesis of "Irredundant" automata from a finite set of experiments...

25
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... complexity and Hausdorff dimension -- Tree language problems in pattern recognition theory...

26
Published 1994
Springer Berlin Heidelberg
Table of Contents: ...Constructive induction for recursive programs -- Training digraphs -- Towards realistic theories...

27
Published 1997
Springer Berlin Heidelberg
Subjects: ...Theory of Computation...

28
Published 2024
Springer Nature Switzerland
... in Language Theory, DLT 2024, held in Göttingen, Germany, during August 12–16, 2024. The 17 full papers and 4...

29
Published 2003
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

30
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... for constructing distributed detection programs -- Foundations of asymptotical theory of Determinate Compact...

31
Published 1998
Springer Berlin Heidelberg
Subjects: ...Number theory...

32
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... and about Universal Hash Functions & Hard Core Bits -- Pythagorean Triples in Unification Theory...

33
Published 1999
Springer Berlin Heidelberg
Subjects: ...Theory of Computation...

34
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... of Boolean Functions by Monotone Theory -- Learning Formal Languages -- Locality, Reversibility, and Beyond...

35
Published 2021
Springer International Publishing
Subjects: ...Formal Languages and Automata Theory...

36
by Farmer, William M.
Published 2023
Birkhäuser
Table of Contents: ... Semantics -- 6 Additional Notation -- 7 Beta-reduction and Substitution -- 8 Proof Systems -- 9 Theories...

37
Published 2019
Springer International Publishing
... Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP...

38
Published 2015
Springer International Publishing
Subjects: ...Formal Languages and Automata Theory...

39
Published 2017
Springer Berlin Heidelberg
Subjects: ...Theory of Computation...

40
Published 1996
Springer Berlin Heidelberg
Subjects: ...Number theory...