PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Krötzsch, Markus"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

, , , , , , , , und . Proc. of the 28th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), Volume 13243 von LNCS, Seite 480-501. Springer, (2022)
DOI: 10.1007/978-3-030-99524-9

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.

Keine Personen gefunden für den Autorennamen Krötzsch, Markus
Eine Person hinzufügen mit dem Namen Krötzsch, Markus
 

Weitere Publikationen von Autoren mit dem selben Namen

Happy Ever After: Temporally Attributed Description Logics, , und . Proceedings of the 31st International Workshop on Description Logics (DL 2018), Volume 2211 von CEUR Workshop Proceedings, CEUR-WS.org, (2018)An Existential Rule Framework for~Computing Why-Provenance On-Demand for~Datalog, , und . Rules and Reasoning, Springer International Publishing, (2022)Towards Mass Spectrum Analysis with ASP, , und . Seite 200–214. Springer Nature Switzerland, (Oktober 2024)A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic, , , , , , , , und . Proc. of the 28th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), Volume 13243 von LNCS, Seite 480-501. Springer, (2022)