( en | de | ru )

 

Disambiguierung von "Cruz-Filipe, Luís"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
C-CoRN, the Constructive Coq Repository at Nijmegen.

, , und . MKM, Volume 3119 von Lecture Notes in Computer Science, Seite 88-103. Springer, (2004)

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

A Core Model for Choreographic Programming., und . FACS, Volume 10231 von Lecture Notes in Computer Science, Seite 17-35. (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)Reconciling Communication Delays and Negation., , und . ICTAC, Volume 13572 von Lecture Notes in Computer Science, Seite 151-169. Springer, (2022)C-CoRN, the Constructive Coq Repository at Nijmegen., , und . MKM, Volume 3119 von Lecture Notes in Computer Science, Seite 88-103. Springer, (2004)Choreographies in Practice., und . FORTE, Volume 9688 von Lecture Notes in Computer Science, Seite 114-123. Springer, (2016)Hypothetical Answers to Continuous Queries over Data Streams., , und . AAAI, Seite 2798-2805. AAAI Press, (2020)A Large-Scale Experiment in Executing Extracted Programs., und . Calculemus, Volume 151 von Electronic Notes in Theoretical Computer Science, Seite 75-91. Elsevier, (2005)Patterns for Interfacing between Logic Programs and Multiple Ontologies., , und . KEOD, Seite 58-69. SciTePress, (2013)Certified Compilation of Choreographies with hacc., , und . FORTE, Volume 13910 von Lecture Notes in Computer Science, Seite 29-36. Springer, (2023)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)