Cover Image
Read Now

1
Published 2019
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

2
Published 2004
Springer Berlin Heidelberg
Subjects: “...Mathematical logic...”
Cover Image
Read Now

3
Published 2001
Springer Netherlands
Subjects: “...Mathematical logic...”
Cover Image
Read Now

4
Published 2019
Springer International Publishing
Subjects: “...Computer arithmetic and logic units...”
Cover Image
Read Now

5
by Martín-Vide, Carlos
Published 2004
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Formal Languages...”
Cover Image
Read Now

6
Published 2020
Springer International Publishing
Table of Contents: “... to Geometry -- Automata -- Boolean monadic recursive schemes as a logical characterization...”
Cover Image
Read Now

7
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... -- Interval Logics and ωB-Regular Languages.- Eliminating Stack Symbols in Push-Down Automata and Linear...”
Cover Image
Read Now

8
Published 2012
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

9
Published 2018
Springer International Publishing
Table of Contents: “... representation of finite automata -- Model Learning as a Satisfiability Modulo Theories Problem -- Default Logic...”
Cover Image
Read Now

10
Published 2017
Springer International Publishing
Table of Contents: “...Applications of natural computing -- Evolutionary computation -- Fuzzy logic -- Molecular...”
Cover Image
Read Now

11
Published 2021
Springer International Publishing
Table of Contents: “...Algebraic structures -- Automata -- Complexity -- Learning -- Logics and languages -- Trees...”
Cover Image
Read Now

12
Published 2017
Springer International Publishing
Table of Contents: “...Algorithmic learning and semantics -- Automata and logics -- Combinatorics on words, compression...”
Cover Image
Read Now

13
Published 2015
Springer International Publishing
Table of Contents: “...Algorithms -- Automata, Logic, and Concurrency -- Codes, Semigroups, and Symbolic Dynamics...”
Cover Image
Read Now

14
Published 2011
Springer Berlin Heidelberg
“... the topics covered are algebraic language theory, automata and logic, systems analysis, systems verifications...”
Cover Image
Read Now

15
Published 2018
Springer International Publishing
Table of Contents: “...Explainable AI and Fuzzy Logic Systems -- Computing Preimages and Ancestors in Reaction Systems...”
Cover Image
Read Now

16
Published 2016
Springer International Publishing
“... data mining, algorithms on automata and words; automata and logic; automata for system analysis...”
Cover Image
Read Now

17
Published 2014
Springer International Publishing
“... and logic; automata for system analysis and program verification; automata, concurrency and Petri nets...”