Automated Theorem Proving in a First-Order Logic with First class Boolean Sort
Licentiate thesis, 2016

Show more

first-order logic

program analysis

program verification

TPTP

automated theorem proving

Vampire

Author

Evgenii Kotelnikov

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Included papers

The Vampire and the FOOL

2016,;(2016)p. 37-48

Paper in proceeding

A First Class Boolean Sort in First-Order Theorem Proving and TPTP

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),;Vol. 9150(2015)p. 71-86

Paper in proceeding

Categorizing

Areas of Advance

Information and Communication Technology

Subject Categories

Computer Science

Other

Public defence

2016-05-03 12:00

room EF, EDIT building

Opponent: Geoff Sutcliffe, University of Miami, FL, USA

More information

Created

10/8/2017