( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Efficient Certified RAT Verification.

, , , , и . CADE, том 10395 из Lecture Notes in Computer Science, стр. 220-236. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Luís Fílípe Carvalho Costa

Luís Filipe Domingos Pereira Figueiredo

Luis Filipe Carvalho Costa

Werner Luis

Luís Damas

 

Другие публикации лиц с тем же именем

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