Patrick Koopmann

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dr. Patrick Koopmann

Wissenschaftlicher MitarbeiterTechnische Universität DresdenInternational Center for Computational Logic Automatentheorie

Neueste Publikationen

Komplette Publikationsliste anzeigen

Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Volume 2013 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
Details

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names
In Clare Dixon, Marcelo Finger, eds., Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17), volume 10483 of Lecture Notes in Computer Science, 60--76, September 2017. Springer
Details Download

Komplette Publikationsliste anzeigen