Autor der Publikation

Deciding Hyperproperties Combined with Functional Specifications

, , , , und . Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Seite 1–13. New York, NY, USA, Association for Computing Machinery, (04.08.2022)
DOI: 10.1145/3531130.3533369

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

Weitere Publikationen von Autoren mit dem selben Namen

Deciding Hyperproperties Combined with Functional Specifications, , , , und . Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Seite 1–13. New York, NY, USA, Association for Computing Machinery, (04.08.2022)Finite Groundings for ASP with Functions: A Journey through Consistency, , und . (2024)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 Journey to the Frontiers of Query Rewritability, , , und . Proceedings of the 41st Symposium on Principles of Database Systems (PODS'22), Seite 359-367. ACM, (Juni 2022)