( en | de | ru )

 

Disambiguierung von "Talcott, Carolyn L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction.

, , , , und . CSB, Seite 618-619. IEEE Computer Society, (2003)

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.

Carolyn Lerche

Carolyn Schaller

Carolyn Weber

Carolyn Grone

Carolyn Hinz

 

Weitere Publikationen von Autoren mit dem selben Namen

A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services.. FMOODS, Volume 209 von IFIP Conference Proceedings, Seite 25-26. Kluwer, (2002)Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems., , und . FroCoS, Volume 3 von Applied Logic Series, Seite 157-174. Kluwer Academic Publishers, (1996)Specification Diagrams for Actor Systems., und . High. Order Symb. Comput., 15 (4): 301-348 (2002)A Sampler of Application Areas., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)Introduction., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)Predefined Data Modules., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)Metaprogramming Applications., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols., , , , und . POST, Volume 9036 von Lecture Notes in Computer Science, Seite 259-279. Springer, (2015)A Simplifier for Untyped Lambda Expressions., und . CTRS, Volume 516 von Lecture Notes in Computer Science, Seite 342-353. Springer, (1990)Towards a Theory of Actor Computation., , , und . CONCUR, Volume 630 von Lecture Notes in Computer Science, Seite 565-579. Springer, (1992)