PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Marx, Maximilian"

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 Marx, Maximilian
Eine Person hinzufügen mit dem Namen Marx, Maximilian
 

Weitere Publikationen von Autoren mit dem selben Namen

Tuple-generating dependencies capture complex values, und . (2022)Nemo: First glimpse of a new rule engine, , , , , , und . (2023)The power of the terminating chase (invited talk), , und . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, (2019)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)Preserving Constraints with the Stable Chase, , , , und . 21st International Conference on Database Theory (ICDT 2018), Volume 98 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 12:1--12:19. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2018)A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic, , , , , , , , und . (2022)