Evgenii Kotelnikov

Gästforskare at Chalmers, Computer Science and Engineering (Chalmers), Formal methods

Showing 8 publications

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 in proceedings
2018

A FOOLish Encoding of the Next State Relations of Imperative Programs

Evgenii Kotelnikov, Laura Kovacs, Andrei Voronkov
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 405-421
Paper in proceedings
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 in proceedings
2016

The Vampire and the FOOL

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

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

Evgenii Kotelnikov, Laura Kovacs, A. Voronkov
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9150, p. 71-86
Paper in proceedings
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 in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Evgenii Kotelnikov participates, but you have to be logged in as a Chalmers employee to see them.