Evgenii Kotelnikov

Gästforskare vid Chalmers, Data- och informationsteknik, Formella metoder

Visar 8 publikationer

2018

TFX: The TPTP Extended Typed First-Order Form

Geoff Sutcliffe, Evgenii Kotelnikov
Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018, p. 72-87
Paper i proceeding
2018

Automated Theorem Proving with Extensions of First-Order Logic

Evgenii Kotelnikov
Doktorsavhandling
2018

A FOOLish Encoding of the Next State Relations of Imperative Programs

Evgenii Kotelnikov, Laura Kovacs, Andrei Voronkov
Lecture Notes in Computer Science, p. 405-421
Paper i proceeding
2016

A Clausal Normal Form Translation for FOOL

Evgenii Kotelnikov, Laura Kovacs, M. Suda et al
Proceedings of the 2nd Global Conference on Artificial Intelligence (GCAI). Vol. EasyChair EPiC Series in Computing volume 41
Paper i proceeding
2016

The Vampire and the FOOL

Evgenii Kotelnikov, Laura Kovacs, G. Reger et al
2016, p. 37-48
Paper i proceeding
2015

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

Evgenii Kotelnikov, Laura Kovacs, A. Voronkov
Lecture Notes in Computer Science. Vol. 9150, p. 71-86
Paper i proceeding
2014

Type-directed language extension for effectful computations

Evgenii Kotelnikov
SCALA 2014 - Proceedings of the 5th Annual Scala Workshop, Co-located with ECOOP 2014, p. 35-43
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Evgenii Kotelnikov medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.