Markus Bender
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
2013–2017
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CADE | Decision Procedures for Theories of Sets with Measures. | Markus Bender, Viorica Sofronie-Stokkermans |
| 2016 | CADE | Reasoning with Sets and Sums of Sets. | Markus Bender |
| 2013 | CADE | System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic. | Markus Bender, Bjrn Pelzer, Claudia Schon |