( en | de | ru )

 

Disambiguierung von "Talcott, Carolyn L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Pathway Logic Helping Biologists Understand and Organize Pathway Information.

, , , , , , und . CSB Workshops, Seite 155-156. IEEE Computer Society, (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.

Carolyn Lerche

Carolyn Schaller

Carolyn Weber

Carolyn Grone

Carolyn Hinz

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal specification of multisimulations using Maude., , , und . SpringSim (TMS-DEVS), Seite 22. SCS/ACM, (2012)Reasoning about effects: from lists to cyber-physical agents., und . CoRR, (2018)Symbolic Timed Observational Equivalence., , und . CoRR, (2018)A Compositional Framework for Preference-Aware Agents., , und . V2CPS@IFM, Volume 232 von EPTCS, Seite 21-35. (2016)Eos: An Approach of Using Behavior Implications for Policy-Based Self-Management., , und . DSOM, Volume 2867 von Lecture Notes in Computer Science, Seite 16-27. Springer, (2003)Editorial., und . High. Order Symb. Comput., 22 (4): 293 (2009)Editorial., und . High. Order Symb. Comput., 13 (4): 287-288 (2000)The Logic of FOL Systems: Formulated in Set Theory., und . Logic, Language and Computation, Volume 792 von Lecture Notes in Computer Science, Seite 119-132. Springer, (1994)Program Transformation via Contextual Assertions., und . Logic, Language and Computation, Volume 792 von Lecture Notes in Computer Science, Seite 225-254. Springer, (1994)Using Abstract Resources to Control Reasoning., , und . J. Log. Lang. Inf., 7 (1): 77-101 (1998)