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

1
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

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