Tsvetan Dunchev

According to our database, Tsvetan Dunchev authored at least 10 papers between 2010 and 2017.

Collaborative distances:

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

2017

Formal Analysis of Information Flow in HOL.

Ghassen Helali, Sofiène Tahar, Osman Hasan, Tsvetan Dunchev

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

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

CERES for First-Order Schemata

Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller

CoRR, 2013

Cut-Elimination and Proof Schemata.

Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller

Proceedings of the Logic, Language, and Computation, 2013

2012

PROOFTOOL: a GUI for the GAPT Framework.

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

Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 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

2010

System Description: The Proof Transformation System CERES.

Tsvetan Dunchev, Alexander Leitsch, Tomer Libal, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010