Markus Bender

According to our database, Markus Bender authored at least 3 papers between 2013 and 2017.

Collaborative distances:

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

2017

Decision Procedures for Theories of Sets with Measures.

Markus Bender, Viorica Sofronie-Stokkermans

Proceedings of the Automated Deduction - CADE 26, 2017

2016

Reasoning with Sets and Sums of Sets.

Markus Bender

Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, 2016

2013

System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic.

Markus Bender, Björn Pelzer, Claudia Schon

Proceedings of the Automated Deduction - CADE-24, 2013