( en | de | ru )

 

Disambiguierung von "Shyamasundar, R. K."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Rewriting Concepts in the Study of Termination of Logic Programs.

, , und . ALPUK, Seite 3-20. Springer, (1992)

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.

Deusdedit R K Nkurunziza

Aman K K Bhasin

K Schweizerhof

K Böning

K Püschel

 

Weitere Publikationen von Autoren mit dem selben Namen

A Proof System for a PGAS Language., und . Concurrency, Compositionality, and Correctness, Volume 5930 von Lecture Notes in Computer Science, Seite 162-184. Springer, (2010)A Graphical Environment for the Specification and Verification of Reactive Systems., , , und . SAFECOMP, Volume 1698 von Lecture Notes in Computer Science, Seite 431-444. Springer, (1999)Compositional Semantics for Real-time Distributed Computing., , , , und . Logic of Programs, Volume 193 von Lecture Notes in Computer Science, Seite 167-189. Springer, (1985)Dynamic Distributed Scheduling Algorithm for State Space Search., , , und . Euro-Par, Volume 7484 von Lecture Notes in Computer Science, Seite 141-154. Springer, (2012)Combinatory Formulations of Concurrent Languages., und . ASIAN, Volume 1023 von Lecture Notes in Computer Science, Seite 156-170. Springer, (1995)On Run-Time Enforcement of Policies., und . ASIAN, Volume 4846 von Lecture Notes in Computer Science, Seite 268-281. Springer, (2007)FlowConSEAL: Automatic Flow Consistency Analysis of SEAndroid and SELinux Policies., , und . DBSec, Volume 10980 von Lecture Notes in Computer Science, Seite 219-231. Springer, (2018)UGSP: Secure Key Establishment Protocol for Ad-Hoc Network., und . ICDCIT, Volume 3347 von Lecture Notes in Computer Science, Seite 391-399. Springer, (2004)Enforcing Secure Data Sharing in Web Application Development Frameworks Like Django Through Information Flow Control., , und . ICISS, Volume 9478 von Lecture Notes in Computer Science, Seite 551-561. Springer, (2015)Languages for Reactive Specifications: Synchrony Vs Asynchrony., und . FTRTFT, Volume 863 von Lecture Notes in Computer Science, Seite 621-640. Springer, (1994)