( en | de | ru )

 

Disambiguierung von "Talcott, Carolyn L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Conclusion.

, , , und . Composing Model-Based Analysis Tools, Springer, (2021)

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

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)Soft component automata: Composition, compilation, logic, and verification., , , und . Sci. Comput. Program., (2019)Inferring the Equivalence of Functional Programs That Mutate Data., und . Theor. Comput. Sci., 105 (2): 167-215 (1992)Predefined Data Modules., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)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)Metaprogramming Applications., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)Integrated analysis of breast cancer cell lines reveals unique signaling pathways., , , , , , , , , und 5 andere Autor(en). Genome Biol., 10 (3): R31 (2009)A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services.. FMOODS, Volume 209 von IFIP Conference Proceedings, Seite 25-26. Kluwer, (2002)Towards a Theory of Actor Computation., , , und . CONCUR, Volume 630 von Lecture Notes in Computer Science, Seite 565-579. Springer, (1992)