EN | DE
Theoretische Informatik

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

main [2019/04/28 19:51]
stefan added highlights
main [2019/05/10 10:08] (current)
lutz [Highlights]
Line 14: Line 14:
 </WRAP>--> </WRAP>-->
 ====== Highlights ====== ====== Highlights ======
 +    * //A Modal Characterization Theorem for a Probabilistic Fuzzy
 +  Description Logic// (Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König) at [[https://ijcai19.org/|IJCAI 2019]] ([[https://arxiv.org/abs/1810.04722|preprint]])
     * //Varieties of Data Languages// (Stefan Milius, Henning Urbat) at [[https://icalp2019.upatras.gr/|ICALP 2019]]     * //Varieties of Data Languages// (Stefan Milius, Henning Urbat) at [[https://icalp2019.upatras.gr/|ICALP 2019]]
     * //Equational Axiomatization of Algebras with Structure// (Stefan Milius, Henning Urbat) at [[https://www.etaps.org/2019/fossacs|FoSSaCS 2019]]     * //Equational Axiomatization of Algebras with Structure// (Stefan Milius, Henning Urbat) at [[https://www.etaps.org/2019/fossacs|FoSSaCS 2019]]