default search action

combined dblp search
author search
venue search
publication search

ask others

Tsvetan Dunchev

Cvetan Dunchev

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/HelaliTHD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/HelaliTHD17
Ghassen Helali, Sofiène Tahar, Osman Hasan, Tsvetan Dunchev:
Formal Analysis of Information Flow in HOL. SETTA 2017: 283-299
2016
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/lfmtp/DunchevCT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfmtp/DunchevCT16
Cvetan Dunchev, Claudio Sacerdoti Coen, Enrico Tassi:
Implementing HOL in an Higher Order Logic Programming Language. LFMTP 2016: 4:1-4:10
2015
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/DunchevGCT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/DunchevGCT15
Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi:
ELPI: Fast, Embeddable, λProlog Interpreter. LPAR 2015: 460-468
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KaliszykUSADT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KaliszykUSADT15
Cezary Kaliszyk, Josef Urban, Umair Siddique, Sanaz Khan Afshar, Cvetan Dunchev, Sofiène Tahar:
Formalizing Physics: Automation, Presentation and Foundation Issues. CICM 2015: 288-295
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/SeddikiDKT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/SeddikiDKT15
Ons Seddiki, Cvetan Dunchev, Sanaz Khan Afshar, Sofiène Tahar:
Enabling Symbolic and Numerical Computations in HOL Light. CICM 2015: 353-358
2013
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tbillc/DunchevLRW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tbillc/DunchevLRW13
Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller:
Cut-Elimination and Proof Schemata. TbiLLC 2013: 117-136
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1303-4257
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-4257
Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller:
CERES for First-Order Schemata. CoRR abs/1303.4257 (2013)
2012
[c3]
- view
  - electronic edition @ ceur-ws.org
  - no references & citations available
- export record
  dblp key:
  - conf/pxtp/DunchevLLRRWP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pxtp/DunchevLLRRWP12
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: 51-57
[c2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DunchevLLRRWP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DunchevLLRRWP13
Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo:
PROOFTOOL: a GUI for the GAPT Framework. UITP 2012: 1-14
2010
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/DunchevLLWP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/DunchevLLWP10
Tsvetan Dunchev, Alexander Leitsch, Tomer Libal, Daniel Weller, Bruno Woltzenlogel Paleo:
System Description: The Proof Transformation System CERES. IJCAR 2010: 427-433

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.