( en | de | ru )

 

Disambiguierung von "Gonthier, Georges"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using Stålmarck's Algorithm to Prove Inequalities.

, und . ICFEM, Volume 3785 von Lecture Notes in Computer Science, Seite 330-344. Springer, (2005)

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.

Elisabeth Gonthier

Margarete Georges

Georges Aletan

Georges Kiesel

Georges Hengesch

 

Weitere Publikationen von Autoren mit dem selben Namen

A Hierarchy of Equivalences for Asynchronous Calculi., und . ICALP, Volume 1443 von Lecture Notes in Computer Science, Seite 844-855. Springer, (1998)Secure Communications Processing for Distributed Languages., , und . S&P, Seite 74-88. IEEE Computer Society, (1999)An abstract standardisation theorem, , und . LICS, Seite 72-81. IEEE Computer Society, (1992)Linear Logic Without Boxes, , und . LICS, Seite 223-234. IEEE Computer Society, (1992)Point-Free, Set-Free Concrete Linear Algebra.. ITP, Volume 6898 von Lecture Notes in Computer Science, Seite 103-118. Springer, (2011)The Reflexive CHAM and the Join-Calculus., und . Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Seite 372-385. Association for Computing Machinery, (1996)A Calculus of Mobile Agents., , , , und . CONCUR, Volume 1119 von Lecture Notes in Computer Science, Seite 406-421. Springer, (1996)Incremental Development of an HDLC Entity in Esterel., und . Computer Networks and ISDN Systems, 22 (1): 35-49 (1991)A Top-Down Look at a Secure Message., , und . FSTTCS, Volume 1738 von Lecture Notes in Computer Science, Seite 122-141. Springer, (1999)The Join Calculus: A Language for Distributed Mobile Programming., und . APPSEM, Volume 2395 von Lecture Notes in Computer Science, Seite 268-332. Springer, (2000)