( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Rewriting Concepts in the Study of Termination of Logic Programs.

, , и . ALPUK, стр. 3-20. 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.

Deusdedit R K Nkurunziza

Aman K K Bhasin

K Schweizerhof

K Tittmann

K Bente

 

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

Static Security Certification of Programs via Dynamic Labelling., , и . ICETE (2), стр. 400-411. SciTePress, (2018)A Proof System for a PGAS Language., и . Concurrency, Compositionality, and Correctness, том 5930 из Lecture Notes in Computer Science, стр. 162-184. Springer, (2010)Security and protection of SCADA: a bigdata algorithmic approach.. SIN, стр. 20-27. ACM, (2013)Enforcing Secure Data Sharing in Web Application Development Frameworks Like Django Through Information Flow Control., , и . ICISS, том 9478 из Lecture Notes in Computer Science, стр. 551-561. Springer, (2015)Combinatory Formulations of Concurrent Languages., и . ASIAN, том 1023 из Lecture Notes in Computer Science, стр. 156-170. Springer, (1995)On Run-Time Enforcement of Policies., и . ASIAN, том 4846 из Lecture Notes in Computer Science, стр. 268-281. Springer, (2007)Compositional Semantics for Real-time Distributed Computing., , , , и . Logic of Programs, том 193 из Lecture Notes in Computer Science, стр. 167-189. Springer, (1985)A Graphical Environment for the Specification and Verification of Reactive Systems., , , и . SAFECOMP, том 1698 из Lecture Notes in Computer Science, стр. 431-444. Springer, (1999)Correctness proof for the majority consensus algorithm., и . Inf. Sci., 38 (3): 213-227 (1986)Opacity Proof for CaPR+ Algorithm., , и . CoRR, (2015)