( en | de | ru )

 

Disambiguierung von "Kurz, Alexander"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Bitopological duality for distributive lattices and Heyting algebras.

, , , und . Math. Struct. Comput. Sci., 20 (3): 359-393 (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Alexander Kurz

Alexander Kurz

Alexander Kurz

Alexander Kurz

Alexander Kurz

 

Weitere Publikationen von Autoren mit dem selben Namen

Nominal Computation Theory (Dagstuhl Seminar 13422)., , , und . Dagstuhl Reports, 3 (10): 58-71 (2013)Epistemic Updates on Algebras., und . Logical Methods in Computer Science, (2013)Relation lifting, with an application to the many-valued cover modality., , , und . Log. Methods Comput. Sci., (2013)Extensions of Functors From Set to V-cat., , und . CALCO, Volume 35 von LIPIcs, Seite 17-34. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Presenting functors on many-sorted varieties and applications., und . Inf. Comput., 208 (12): 1421-1446 (2010)On Coalgebras over Algebras., und . CMCS@ETAPS, Volume 264 von Electronic Notes in Theoretical Computer Science, Seite 47-62. Elsevier, (2010)On the Logic of Generalised Metric Spaces., und . CMCS, Volume 9608 von Lecture Notes in Computer Science, Seite 136-155. Springer, (2016)09502 Abstracts Collection - Coalgebraic Logics., und . Coalgebraic Logics, Volume 09502 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge., , und . TACL, Volume 25 von EPiC Series in Computing, Seite 85-87. EasyChair, (2013)Ultrafilter Extensions for Coalgebras., , und . CALCO, Volume 3629 von Lecture Notes in Computer Science, Seite 263-277. Springer, (2005)