( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs.

, , и . FLOPS, том 2024 из Lecture Notes in Computer Science, стр. 138-152. Springer, (2001)

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.

Giorgio Cortellaro

Giorgio Stefanoni

Giorgio Borea

Giorgio Pudelko

Giorgio Gonnella

 

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

Adaptation and Personalization in Computer Science Education: APCSE '20., , и . UMAP, стр. 400-401. ACM, (2020)Forum Objects., и . GULP-PRODE, стр. 283-294. (1995)A Bottom-Up Characterization of Finite Success., и . ILPS, стр. 676. MIT Press, (1993)Constraint-based automatic verification of abstract models of multithreaded programs.. Theory Pract. Log. Program., 7 (1-2): 67-91 (2007)On the Qualitative Analysis of Conformon P Systems., , и . Workshop on Membrane Computing, том 5391 из Lecture Notes in Computer Science, стр. 78-94. Springer, (2008)On the Dynamics of PB Systems with Volatile Membranes., и . Workshop on Membrane Computing, том 4860 из Lecture Notes in Computer Science, стр. 240-256. Springer, (2007)Algorithmic Verification of Invalidation-Based Protocols., и . CAV, том 2404 из Lecture Notes in Computer Science, стр. 295-308. Springer, (2002)Attacking Symbolic State Explosion., , и . CAV, том 2102 из Lecture Notes in Computer Science, стр. 298-310. Springer, (2001)Constraint-Based Verification of Client-Server Protocols., и . CP, том 2239 из Lecture Notes in Computer Science, стр. 286-301. Springer, (2001)Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things., , , , , и . ALP4IoT@iFM, том 264 из EPTCS, стр. 27-42. (2017)