( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Logic Meta-Programming Facilities in 'LOG.

, и . META, том 649 из Lecture Notes in Computer Science, стр. 148-161. Springer, (1992)

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.

No persons found for author name Cervesato, Iliano
add a person with the name Cervesato, Iliano
 

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

Modal Event Calculus., , и . ILPS, стр. 675. MIT Press, (1994)Proof-Theoretic Foundation of Compilation in Logic Programming.. IJCSLP, стр. 115-129. MIT Press, (1998)Lollipops Taste of Vanilla too.. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, (1994)Petri Nets and Linear Logic: a Case Study for Logic Programming.. GULP-PRODE, стр. 313-320. (1995)Optimized Compilation of Multiset Rewriting with Comprehensions., и . APLAS, том 8858 из Lecture Notes in Computer Science, стр. 19-38. Springer, (2014)Data Access Specification and the Most Powerful Symbolic Attacker in MSR.. ISSS, том 2609 из Lecture Notes in Computer Science, стр. 384-416. Springer, (2002)Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols., , , и . MMM-ACNS, том 2776 из Lecture Notes in Computer Science, стр. 86-99. Springer, (2003)Typed MSR: Syntax and Examples.. MMM-ACNS, том 2052 из Lecture Notes in Computer Science, стр. 159-177. Springer, (2001)Towards a Notion of Quantitative Security Analysis.. Quality of Protection, том 23 из Advances in Information Security, Springer, (2006)Modular Multiset Rewriting., и . LPAR, том 9450 из Lecture Notes in Computer Science, стр. 515-531. Springer, (2015)