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

1
Published 2014
Springer International Publishing
Table of Contents: “... Verification of Concurrent Datatypes -- SMT and Theorem Proving -- Monadic Decomposition -- A DPLL(T) Theory...”
Cover Image
Read Now

2
Published 2016
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

3
Published 2018
Springer International Publishing
Table of Contents: “... for Verification -- Automata Theory and Model Checking -- Explicit-State Model Checking -- Partial-Order Reduction...”