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

1
Published 2016
Springer International Publishing
Table of Contents: “...Constructive mathematics and type theory -- Homotopy type theory -- Logic, automata, and automatic...”
Cover Image
Read Now

2
Published 2020
Springer International Publishing
Table of Contents: “... via Optimal Hypersequent Calculi for Non-Normal Modal Logics -- Completeness Theorems for First-Order...”
Cover Image
Read Now

3
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Constructive mathematics and type theory -- Logic, automata and automatic structures...”
Cover Image
Read Now

4
Published 2018
Springer International Publishing
Table of Contents: “...Constructive mathematics and type theory -- Homotopy type theory -- Logic, automata, and automatic...”