Suggested Topics within your search.
Mathematical Logic and Formal Languages 16 Mathematical logic 16 Computer logic 14 Logics and Meanings of Programs 14 Artificial Intelligence 13 Artificial intelligence 13 Software engineering 12 more ...
Mathematical Logic and Formal Languages 16 Mathematical logic 16 Computer logic 14 Logics and Meanings of Programs 14 Artificial Intelligence 13 Artificial intelligence 13 Software engineering 12 more ...
1
2
Published 2014
Table of Contents: ';
“... for Regular Expression Equivalence -- Collaborative Interactive Theorem Proving with Clide...”Get full text
3
4
Published 2013
Table of Contents: ';
“... -- Certifying Voting Protocols -- Invited Tutorials.-Counterexample Generation Meets Interactive Theorem Proving...”Get full text
5
Published 2017
Table of Contents: ';
“...Whitebox Automation -- Automated Theory Exploration for Interactive Theorem Proving...”Get full text
6
Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated...
Published 2018
Subjects: ';
“...Software engineering....”Get full text
7
Published 2021
Table of Contents: ';
“... and Stable Infiniteness: Stronger Together -- Equational Theorem Proving Modulo -- Unifying Decidable...”Get full text
8
Published 2008
Table of Contents: ';
“...) -- The Abella Interactive Theorem Prover (System Description) -- LEO-II - A Cooperative Automatic Theorem Prover...”Get full text
9
Published 2020
Table of Contents: ';
“...Interactive Theorem Proving/ HOL -- Competing inheritance paths in dependent type theory: a case...”Get full text
10
Published 2020
Table of Contents: ';
“... for Higher-Order Logic -- Subsumption Demodulation in First-Order Theorem Proving -- A Comprehensive...”Get full text
11
Published 2018
Table of Contents: ';
“...Formal Methods -- Verification -- Program Synthesis -- Model Checking -- Theorem Proving...”Get full text
12
13
Published 2008
Table of Contents: ';
“... Symbolic Computation Systems -- Symbolic Computation Software Composability -- Using Coq to Prove...”Get full text
14
Published 2013
Table of Contents: ';
“... complexity -- Logic programming and constraints -- Automated deduction and interactive theorem proving...”Get full text
15
Published 2018
Table of Contents: ';
“... and interactive theorem proving -- Logical methods in protocol and program verification -- Logical methods...”Get full text
16
Published 2016
Table of Contents: ';
“... and interactive theorem proving -- Logical methods in protocol and program verification -- Logical methods...”Get full text
17
Published 2013
Table of Contents: ';
“... Theorem Proving Systems -- The Web Geometry Laboratory Project -- swMATH – A New Information Service...”Get full text