Travelled to:1 × USA
Collaborated with:V.Sofronie-Stokkermans B.Pelzer C.Schon
Talks about:descript (2) procedur (1) theori (1) system (1) measur (1) extens (1) uniqu (1) logic (1) hyper (1) decis (1)
Person: Markus Bender
DBLP: Bender:Markus
Contributed to:
20132017Wrote 2 papers:
- CADE-2013-BenderPS #logic
- System Description: E-KRHyper 1.4 — Extensions for Unique Names and Description Logic (MB, BP, CS), pp. 126–134.
- CADE-2017-BenderS #metric #set
- Decision Procedures for Theories of Sets with Measures (MB, VSS), pp. 166–184.