Name Card

Full name Familienname, Vorname
Kotelnikov, Evgenii
 

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kotelnikov, Evgenii ; Kovács, Laura ; Voronkov, Andrei A FOOLish Encoding of the Next State Relations of Imperative ProgramsKonferenzbeitrag Inproceedings 2018
2Kotelnikov, Evgenii ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei The vampire and the FOOLKonferenzbeitrag Inproceedings 2016
3Kotelnikov, Evgenii ; Kovacs, Laura ; Suda, Martin ; Voronkov, Andrei A Clausal Normal Form Translation for FOOLKonferenzbeitrag Inproceedings 2016
4Kotelnikov, Evgenii ; Kovacs, Laura ; Voronkov, Andrei A First Class Boolean Sort in First-Order Theorem Proving and TPTPKonferenzbeitrag Inproceedings2015