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

101
Published 2016
Springer International Publishing
Table of Contents: “... Formal Model of the Safety-Critical Java Level 2 Paradigm -- Safety and liveness -- Deciding Monadic...”
Cover Image
Read Now

102
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Symbolic trajectory evaluation -- Automated verification with abstract state machines using...”
Cover Image
Read Now

103
by Schwartz, Jacob T., Cantone, Domenico, Omodeo, Eugenio G.
Published 2011
Springer London
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

104
Published 2017
Springer International Publishing
Table of Contents: “...Sequents systems -- Tableaux -- Transitive closure and cyclic proofs -- Formalization...”
Cover Image
Read Now

105
Published 2021
Springer International Publishing
Table of Contents: “...Tableau Calculi -- Sequent Calculi -- Theorem Proving -- Formalized Proofs -- Non-Wellfounded...”
Cover Image
Read Now

106
Published 2023
Springer Nature Switzerland
Table of Contents: “... in Satisfiability Modulo Theories -- DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics...”
Cover Image
Read Now

107
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Formal to Practical Security -- Verification of Security Protocols with a Bounded Number...”
Cover Image
Read Now

108
Published 2015
Springer International Publishing
Table of Contents: “...Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration...”
Cover Image
Read Now

109
by Paun, Gheorghe
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... of the Simple Class -- 3.4 Basic Extensions -- 3.5 A Formal Definition -- 3.6 Further Extensions -- 3.7 Systems...”
Cover Image
Read Now

110
Published 2014
Springer International Publishing
Table of Contents: “...A Modular Theory of Object Orientation in Higher-Order UTP -- Formalizing and Verifying a Modern...”
Cover Image
Read Now

111
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...WIA and theory and practice -- Construction of efficient generalized LR parsers -- Visualization...”
Cover Image
Read Now

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

113
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... bibliographical guide -- Formal languages & word-rewriting -- Rewriting and tree automata -- On efficient...”
Cover Image
Read Now

114
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... ?-languages -- Ensembles reconnaissables de mots bi-inpinis Limite et déterminisme -- Automates boustrophedon...”
Cover Image
Read Now

115
by D'Avila Garcez, Artur S., Lamb, Luís C., Gabbay, Dov M.
Published 2009
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

116
Published 2015
Springer International Publishing
Table of Contents: “... and Maintenance of Computational Models of Real-World Systems -- When a Formal Model Rhymes with a Graphical...”
Cover Image
Read Now

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

118
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Resolution Proofs through Herbrand’s Theorem -- A Labelled Sequent Calculus for BBI: Proof Theory and Proof...”
Cover Image
Read Now

119
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”
Cover Image
Read Now

120
Published 2016
Springer International Publishing
Table of Contents: “...A Proof Infrastructure for Binary Programs.-Application of Formal Methods -- A Formally Verified...”