Zum Inhalt springen

  1. Agha, Gul [Herausgeber:in]; Talcott, Carolyn L. [Gefeierte:r]; Danvy, Oilivier [Sonstige Person, Familie und Körperschaft]; Meseguer, José [Sonstige Person, Familie und Körperschaft]; Talcott, Carolyn [Gefeierte:r]

    Formal modeling: actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the occasion of her 70th birthday

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 7000

  3. Arbab, Farhad [Verfasser:in] ; Talcott, Carolyn [Sonstige Person, Familie und Körperschaft]

    Coordination Models and Languages : 5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

    Erschienen in: Lecture notes in computer science ; 2315

  6. Martí-Oliet, Narciso [Herausgeber:in]; Ölveczky, Peter Csaba [Herausgeber:in]; Talcott, Carolyn [Herausgeber:in]

    Logic, Rewriting, and Concurrency : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday - [1st ed. 2015]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham [u.a.]: Springer, 2015

    Erschienen in: Lecture notes in computer science ; 9200

  8. Duran, Francisco [Verfasser:in]; Eker, Steven [Verfasser:in]; Escobar, Santiago [Verfasser:in]; Meseguer, Jose [Verfasser:in]; Talcott, Carolyn [Verfasser:in] ; Francisco Duran and Steven Eker and Santiago Escobar and Jose Meseguer and Carolyn Talcott [Mitwirkende:r]

    Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011

  9. Durán, Francisco [Verfasser:in]; Heinrich, Robert [Verfasser:in]; Pérez-Palacín, Diego [Verfasser:in]; Talcott, Carolyn L. [Verfasser:in]; Zschaler, Steffen [Verfasser:in] ; Francisco Durán and Robert Heinrich and Diego Pérez-Palacín and Carolyn L. Talcott and Steffen Zschaler [Mitwirkende:r]

    Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  10. Nigam, Vivek [Herausgeber:in]; Ban Kirigin, Tajana [Herausgeber:in]; Talcott, Carolyn [Herausgeber:in]; Guttman, Joshua [Herausgeber:in]; Kuznetsov, Stepan [Herausgeber:in]; Thau Loo, Boon [Herausgeber:in]; Okada, Mitsuhiro [Herausgeber:in]

    Logic, Language, and Security : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday - [1st ed. 2020.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

    Erschienen in: Theoretical Computer Science and General Issues ; 12300 - Springer eBook Collection

  11. Clavel, Manuel [Sonstige Person, Familie und Körperschaft]; Durán, Francisco [Sonstige Person, Familie und Körperschaft]; Eker, Steven [Sonstige Person, Familie und Körperschaft]; Lincoln, Patrick [Sonstige Person, Familie und Körperschaft]; Martí-Oliet, Narciso [Sonstige Person, Familie und Körperschaft]; Meseguer, José [Sonstige Person, Familie und Körperschaft]; Talcott, Carolyn L. [Sonstige Person, Familie und Körperschaft]

    All About Maude - A High-Performance Logical Framework : How to Specify, Program and Verify Systems in Rewriting Logic

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4350

  12. Kanovich, Max [Verfasser:in]; Ban Kirigin, Tajana [Verfasser:in]; Nigam, Vivek [Verfasser:in]; Scedrov, Andre [Verfasser:in]; Talcott, Carolyn [Verfasser:in]; Perovic, Ranko [Verfasser:in] ; Max Kanovich and Tajana Ban Kirigin and Vivek Nigam and Andre Scedrov and Carolyn Talcott and Ranko Perovic [Mitwirkende:r]

    A Rewriting Framework for Activities Subject to Regulations

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012

  18. Talcott, Carolyn

    Introduction

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 1994

    Erschienen in: LISP and Symbolic Computation, 7 (1994) 1, Seite 7-9

  19. Talcott, Carolyn

    Introduction

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 1993

    Erschienen in: LISP and Symbolic Computation, 6 (1993) 3-4, Seite 229-231