Zum Inhalt springen Hills, Mark Memory Representations in Rewriting Logic Semantics Definitions 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. Elsevier BV, 2009 Erschienen in: Electronic Notes in Theoretical Computer Science Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José A rewriting logic approach to operational semantics 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. Elsevier BV, 2009 Erschienen in: Information and Computation Ramírez, Sergio; Romero, Miguel; Rocha, Camilo; Valencia, Frank Rewriting Logic and Its Applications: Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2018 Erschienen in: Rewriting Logic and Its Applications Meseguer, José; Roşu, Grigore The rewriting logic semantics project: A progress report 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. Elsevier BV, 2013 Erschienen in: Information and Computation Dowek, Gilles; Muñoz, César; Rocha, Camilo Rewriting Logic Semantics of a Plan Execution Language 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. Open Publishing Association, 2010 Erschienen in: Electronic Proceedings in Theoretical Computer Science Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José A Rewriting Logic Approach to Operational Semantics (Extended Abstract) 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. Elsevier BV, 2007 Erschienen in: Electronic Notes in Theoretical Computer Science Andrei, Oana; Ciobanu, Gabriel; Lucanu, Dorel A rewriting logic framework for operational semantics of membrane systems 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. Elsevier BV, 2007 Erschienen in: Theoretical Computer Science Andrei, Oana; Lucanu, Dorel; Ciobanu, Gabriel Operational Semantics and Rewriting Logic in Membrane Computing 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. Elsevier BV, 2006 Erschienen in: Electronic Notes in Theoretical Computer Science Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado A causal semantics for CCS via rewriting logic 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. Elsevier BV, 2002 Erschienen in: Theoretical Computer Science Carabetta, Georgia; Degano, Pierpaolo; Gadducci, Fabio CCS Semantics via Proved Transition Systems and Rewriting Logic 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. Elsevier BV, 1998 Erschienen in: Electronic Notes in Theoretical Computer Science Eekelen, Marko; Smetsers, Sjaak; Plasmeijer, Rinus Computer Science Logic: Graph rewriting semantics for functional programming languages Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1997 Erschienen in: Computer Science Logic Katelman, Michael; Keller, Sean; Meseguer, José Rewriting Logic and Its Applications: Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2010 Erschienen in: Rewriting Logic and Its Applications Şerbănuţă, Traian Florin; Roşu, Grigore Rewriting Logic and Its Applications: K-Maude: A Rewriting Based Tool for Semantics of Programming Languages Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2010 Erschienen in: Rewriting Logic and Its Applications Ramírez Restrepo, Carlos Alberto; Pérez, Jorge A. Rewriting Logic and Its Applications: Executable Semantics and Type Checking for Session-Based Concurrency in Maude Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2022 Erschienen in: Rewriting Logic and Its Applications Roșu, Grigore Lecture Notes in Computer Science: From Rewriting Logic, to Programming Language Semantics, to Program Verification Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2015 Erschienen in: Lecture Notes in Computer Science Mosses, Peter D.; Vesely, Ferdinand Rewriting Logic and Its Applications: FunKons: Component-Based Semantics in K Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2014 Erschienen in: Rewriting Logic and Its Applications Meseguer, José; Roşu, Grigore Fundamentals of Computation Theory: The Rewriting Logic Semantics Project: A Progress Report Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2011 Erschienen in: Fundamentals of Computation Theory Asăvoae, Irina Măriuca; Asăvoae, Mihail Rewriting Logic and Its Applications: Collecting Semantics under Predicate Abstraction in the K Framework Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2010 Erschienen in: Rewriting Logic and Its Applications Rivera, José E.; Durán, Francisco; Vallecillo, Antonio Rewriting Logic and Its Applications: On the Behavioral Semantics of Real-Time Domain Specific Visual Languages Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2010 Erschienen in: Rewriting Logic and Its Applications Troya, Javier; Vallecillo, Antonio Theory and Practice of Model Transformations: Towards a Rewriting Logic Semantics for ATL Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2010 Erschienen in: Theory and Practice of Model Transformations
Hills, Mark Memory Representations in Rewriting Logic Semantics Definitions 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. Elsevier BV, 2009 Erschienen in: Electronic Notes in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José A rewriting logic approach to operational semantics 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. Elsevier BV, 2009 Erschienen in: Information and Computation
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ramírez, Sergio; Romero, Miguel; Rocha, Camilo; Valencia, Frank Rewriting Logic and Its Applications: Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2018 Erschienen in: Rewriting Logic and Its Applications
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Meseguer, José; Roşu, Grigore The rewriting logic semantics project: A progress report 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. Elsevier BV, 2013 Erschienen in: Information and Computation
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Dowek, Gilles; Muñoz, César; Rocha, Camilo Rewriting Logic Semantics of a Plan Execution Language 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. Open Publishing Association, 2010 Erschienen in: Electronic Proceedings in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José A Rewriting Logic Approach to Operational Semantics (Extended Abstract) 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. Elsevier BV, 2007 Erschienen in: Electronic Notes in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Andrei, Oana; Ciobanu, Gabriel; Lucanu, Dorel A rewriting logic framework for operational semantics of membrane systems 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. Elsevier BV, 2007 Erschienen in: Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Andrei, Oana; Lucanu, Dorel; Ciobanu, Gabriel Operational Semantics and Rewriting Logic in Membrane Computing 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. Elsevier BV, 2006 Erschienen in: Electronic Notes in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado A causal semantics for CCS via rewriting logic 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. Elsevier BV, 2002 Erschienen in: Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Carabetta, Georgia; Degano, Pierpaolo; Gadducci, Fabio CCS Semantics via Proved Transition Systems and Rewriting Logic 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. Elsevier BV, 1998 Erschienen in: Electronic Notes in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Eekelen, Marko; Smetsers, Sjaak; Plasmeijer, Rinus Computer Science Logic: Graph rewriting semantics for functional programming languages Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1997 Erschienen in: Computer Science Logic
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Katelman, Michael; Keller, Sean; Meseguer, José Rewriting Logic and Its Applications: Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2010 Erschienen in: Rewriting Logic and Its Applications
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Şerbănuţă, Traian Florin; Roşu, Grigore Rewriting Logic and Its Applications: K-Maude: A Rewriting Based Tool for Semantics of Programming Languages Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2010 Erschienen in: Rewriting Logic and Its Applications
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ramírez Restrepo, Carlos Alberto; Pérez, Jorge A. Rewriting Logic and Its Applications: Executable Semantics and Type Checking for Session-Based Concurrency in Maude Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2022 Erschienen in: Rewriting Logic and Its Applications
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Roșu, Grigore Lecture Notes in Computer Science: From Rewriting Logic, to Programming Language Semantics, to Program Verification Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2015 Erschienen in: Lecture Notes in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Mosses, Peter D.; Vesely, Ferdinand Rewriting Logic and Its Applications: FunKons: Component-Based Semantics in K Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2014 Erschienen in: Rewriting Logic and Its Applications
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Meseguer, José; Roşu, Grigore Fundamentals of Computation Theory: The Rewriting Logic Semantics Project: A Progress Report Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2011 Erschienen in: Fundamentals of Computation Theory
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Asăvoae, Irina Măriuca; Asăvoae, Mihail Rewriting Logic and Its Applications: Collecting Semantics under Predicate Abstraction in the K Framework Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2010 Erschienen in: Rewriting Logic and Its Applications
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Rivera, José E.; Durán, Francisco; Vallecillo, Antonio Rewriting Logic and Its Applications: On the Behavioral Semantics of Real-Time Domain Specific Visual Languages Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2010 Erschienen in: Rewriting Logic and Its Applications
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Troya, Javier; Vallecillo, Antonio Theory and Practice of Model Transformations: Towards a Rewriting Logic Semantics for ATL Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2010 Erschienen in: Theory and Practice of Model Transformations
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (45) Wert ausschließen Bücher (5) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Magazinbestellung (1) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (1) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Urheberrechtsschutz (2) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (29) Wert ausschließen Ohne Angabe (20) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (31) Wert ausschließen Nicht zu entscheiden (19) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (23) Wert ausschließen Mathematik (1) Wert ausschließen Technik (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Meseguer, José (11) Wert ausschließen Roşu, Grigore (8) Wert ausschließen Mosses, Peter D. (3) Wert ausschließen Vallecillo, Antonio (3) Wert ausschließen Şerbănuţă, Traian Florin (3) Wert ausschließen Andrei, Oana (2) Wert ausschließen Chiba, Yuki (2) Wert ausschließen Ciobanu, Gabriel (2) Wert ausschließen Degano, Pierpaolo (2) Wert ausschließen Gadducci, Fabio (2) Wert ausschließen Hills, Mark (2) Wert ausschließen Lucanu, Dorel (2) Wert ausschließen Mariño, Julio (2) Wert ausschließen Rocha, Camilo (2) Wert ausschließen Sabel, David (2) Wert ausschließen Sasse, Ralf (2) Wert ausschließen Schmidt-Schauß, Manfred (2) Wert ausschließen Troya, Javier (2) Wert ausschließen Ahrendt, Wolfgang (1) Wert ausschließen Asăvoae, Irina Măriuca (1) Wert ausschließen Asăvoae, Mihail (1) Wert ausschließen Barkaoui, Kamel (1) Wert ausschließen Boronat, Artur (1) Wert ausschließen Boucherit, Ammar (1) Wert ausschließen Braga, Christiano (1) Wert ausschließen Braga, Christiano de O. (1) Wert ausschließen Cabalar, Pedro (1) Wert ausschließen Calimeri, Francesco (1) Wert ausschließen Caltais, Georgiana (1) Wert ausschließen Carabetta, Georgia (1) Wert ausschließen Carro, Manuel (1) Wert ausschließen Choi, Yunja (1) Wert ausschließen De Vos, Marina (1) Wert ausschließen Dowek, Gilles (1) Wert ausschließen Durán, Francisco (1) Wert ausschließen Eekelen, Marko (1) Wert ausschließen Escobar, Santiago (1) Wert ausschließen Goguen, Joseph A. (1) Wert ausschließen Grosu, Radu (1) Wert ausschließen Haeusler, E. Hermann (1) Wert ausschließen Heckel, Reiko (1) Wert ausschließen Hetzl, Stefan (1) Wert ausschließen Horrocks, Ian (1) Wert ausschließen Juan Rodriguez-Hortala (1) Wert ausschließen Katelman, Michael (1) Wert ausschließen Keller, Sean (1) Wert ausschließen King, Andy (1) Wert ausschließen Kosiuczenko, Piotr (1) Wert ausschließen Kyas, Marcel (1) Wert ausschließen Manfred Schmidt-Schauß and Masahiko Sakai and David Sabel and Yuki Chiba (1) Wert ausschließen Manuel Carro and Andy King and Neda Saeedloei and Marina De Vos (1) Wert ausschließen Mark Hills and Grigore Rosu (1) Wert ausschließen Mark-Oliver Stehr and Carolyn Talcott L. (1) Wert ausschließen Matthieu Picantin (1) Wert ausschließen Meyer, Bertrand (1) Wert ausschließen Motik, Boris (1) Wert ausschließen Muchaluat-Saade, Débora C. (1) Wert ausschließen Muñoz, César (1) Wert ausschließen Nishida, Naoki (1) Wert ausschließen Nutt, Werner (1) Wert ausschließen Ogata, Kazuhiro (1) Wert ausschließen Osman, Hasan (1) Wert ausschließen Perri, Simona (1) Wert ausschließen Picantin, Matthieu (1) Wert ausschließen Plasmeijer, Rinus (1) Wert ausschließen Priami, Corrado (1) Wert ausschließen Pérez, Jorge A. (1) Wert ausschließen Pérez-Urbina, Héctor (1) Wert ausschließen Ramírez Restrepo, Carlos Alberto (1) Wert ausschließen Ramírez, Sergio (1) Wert ausschließen Regensburger, Franz (1) Wert ausschließen Rivera, José E. (1) Wert ausschließen Rodriguez-Hortala, Juan (1) Wert ausschließen Romero, Miguel (1) Wert ausschließen Rosu, Grigore (1) Wert ausschließen Roth, Andreas (1) Wert ausschließen Roșu, Grigore (1) Wert ausschließen Saeedloei, Neda (1) Wert ausschließen Sakai, Masahiko (1) Wert ausschließen Schönborn, Jens (1) Wert ausschließen Smetsers, Sjaak (1) Wert ausschließen Smolka, Gert (1) Wert ausschließen Stefan Hetzl and Lutz Straßburger (1) Wert ausschließen Steggles, L.J. (1) Wert ausschließen Stehr, Mark-Oliver (1) Wert ausschließen Straßburger, Lutz (1) Wert ausschließen Talcott L., Carolyn (1) Wert ausschließen Valencia, Frank (1) Wert ausschließen Vesely, Ferdinand (1) Wert ausschließen WFLP 19 2010 Madrid (1) Wert ausschließen Yuki Chiba and Santiago Escobar and Naoki Nishida and David Sabel and Manfred Schmidt-Schauß (1) Wert ausschließen Zangari, Jessica (1) Wert ausschließen Zhang, Min (1) Wert ausschließen dos Santos, Joel (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Springer Berlin Heidelberg (CrossRef) (14) Wert ausschließen Elsevier BV (CrossRef) (13) Wert ausschließen BASE - Bielefeld Academic Search Engine (12) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (8) Wert ausschließen Springer International Publishing (CrossRef) (5) Wert ausschließen Verbunddaten SWB (3) Wert ausschließen Open Publishing Association (CrossRef) (2) Wert ausschließen AITO - Association Internationale pour les Technologies Objets (CrossRef) (1) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (1) Wert ausschließen KOPS - The Institutional Repository of the University of Konstanz (1) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen MACAU: Open Access Repository of Kiel University (1) Wert ausschließen Scientific publications of the Saarland University (UdS) (1) Wert ausschließen zeige weitere weniger zeigen