Cvetan Dunchev

According to our database, Cvetan Dunchev authored at least 6 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Implementing HOL in an Higher Order Logic Programming Language.

Cvetan Dunchev, Claudio Sacerdoti Coen, Enrico Tassi

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2016

2015

Enabling Symbolic and Numerical Computations in HOL Light.

Ons Seddiki, Cvetan Dunchev, Sanaz Khan Afshar, Sofiène Tahar

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Formalizing Physics: Automation, Presentation and Foundation Issues.

Cezary Kaliszyk, Josef Urban, Umair Siddique, Sanaz Khan Afshar, Cvetan Dunchev, Sofiène Tahar

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

ELPI: Fast, Embeddable, λProlog Interpreter.

Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2013

Cut-Elimination and Proof Schemata.

Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller

Proceedings of the Logic, Language, and Computation, 2013

2012

System Feature Description: Importing Refutations into the GAPT Framework.

Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012