Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Cvetan Dunchev
Map detail
Cvetan Dunchev3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipCvetan DunchevACvetan DunchevResearcherCERES for First-Order SchemataWCERES for First-Order S...preprint / 2013PROOFTOOL: a GUI for the GAPT FrameworkWPROOFTOOL: a GUI for th...preprint / 2013
Person2 links

Cvetan Dunchev

Researcher