Cvetan Dunchev

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 4

Top Topics

Lambda Calculus

Programming Language

Higher Order Logic

Top Venues

Publications

Cvetan Dunchev, Claudio Sacerdoti Coen, Enrico Tassi
Implementing HOL in an Higher Order Logic Programming Language. LFMTP (2016)
Cezary Kaliszyk, Josef Urban, Umair Siddique, Sanaz Khan Afshar, Cvetan Dunchev, Sofiène Tahar
Formalizing Physics: Automation, Presentation and Foundation Issues. CICM (2015)
Ons Seddiki, Cvetan Dunchev, Sanaz Khan Afshar, Sofiène Tahar
Enabling Symbolic and Numerical Computations in HOL Light. CICM (2015)
Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi
ELPI: Fast, Embeddable, \lambda Prolog Interpreter. LPAR (2015)
Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller
CERES for First-Order Schemata CoRR (2013)
Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller
Cut-Elimination and Proof Schemata. TbiLLC (2013)
Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo
System Feature Description: Importing Refutations into the GAPT Framework. PxTP (2012)
Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo
PROOFTOOL: a GUI for the GAPT Framework. UITP (2012)