( en | de | ru )

 

Disambiguierung von "Cruz-Filipe, Luís"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Efficient Certified RAT Verification.

, , , , und . CADE, Volume 10395 von Lecture Notes in Computer Science, Seite 220-236. Springer, (2017)

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.

Luís Fílípe Carvalho Costa

Luís Filipe Domingos Pereira Figueiredo

Luis Filipe Carvalho Costa

Werner Luis

Luís Damas

 

Weitere Publikationen von Autoren mit dem selben Namen

Connectors meet Choreographies., , , und . CoRR, (2018)Choreographies in Practice., und . FORTE, Volume 9688 von Lecture Notes in Computer Science, Seite 114-123. Springer, (2016)Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus., , , , und . FMOODS, Volume 5051 von Lecture Notes in Computer Science, Seite 59-77. Springer, (2008)The Finitistic Consistency of Heck's Predicative Fregean System., und . Notre Dame J. Formal Log., 56 (1): 61-79 (2015)Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints., und . ACM Trans. Comput. Log., 22 (1): 6:1-6:19 (2021)C-CoRN, the Constructive Coq Repository at Nijmegen., , und . MKM, Volume 3119 von Lecture Notes in Computer Science, Seite 88-103. Springer, (2004)A Core Model for Choreographic Programming., und . FACS, Volume 10231 von Lecture Notes in Computer Science, Seite 17-35. (2016)The stream-based service-centred calculus: a foundation for service-oriented programming., , , , und . Formal Aspects Comput., 26 (5): 865-918 (2014)Hypothetical Answers to Continuous Queries over Data Streams., , und . AAAI, Seite 2798-2805. AAAI Press, (2020)Grounded Fixpoints and Active Integrity Constraints.. ICLP (Technical Communications), Volume 52 von OASIcs, Seite 11:1-11:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)