Search alternatives:
automatic theory » automatic theorem, automation theory, automata theory
Cover Image
Read Now

1
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... and Enumeration for Automatic Sequences: A Survey -- Walking on Data Words -- Careful Synchronization of Partial...”
Cover Image
Read Now

2
Published 2019
Springer International Publishing
Table of Contents: “... -- Consistency as a Branching Time Notion -- Finite choice, convex choice and sorting -- The number of languages...”
Cover Image
Read Now

3
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... -- Definability and Transformations for Cost Logics and Automatic Structures -- Generalised Lyndon-Schützenberger...”
Cover Image
Read Now

4
by Hammer, Rolf, Hocks, Matthias, Kulisch, Ulrich, Ratz, Dietmar
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... One-Dimensional Problems -- 4 Evaluation of Polynomials -- 5 Automatic Differentiation -- 6 Nonlinear...”
Cover Image
Read Now

5
Published 2021
Springer International Publishing
Table of Contents: “... Arithmetic -- Pistone Learning Languages with Decidable Hypotheses -- Robust Online Algorithms for Dynamic...”