Zum Inhalt springen Boronat, Artur; Heckel, Reiko; Meseguer, José Fundamental Approaches to Software Engineering: Rewriting Logic Semantics and Verification of Model Transformations 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 Berlin Heidelberg, 2009 Erschienen in: Fundamental Approaches to Software Engineering (2009), Seite 18-33 Pérez-Urbina, Héctor; Motik, Boris; Horrocks, Ian Semantics in Data and Knowledge Bases: Rewriting Conjunctive Queries over Description Logic Knowledge Bases 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 Berlin Heidelberg, 2008 Erschienen in: Semantics in Data and Knowledge Bases (2008), Seite 199-214 Meseguer, José; Roşu, Grigore Automated Reasoning: Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools 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 Berlin Heidelberg, 2004 Erschienen in: Automated Reasoning (2004), Seite 1-44 Cabalar, Pedro Logic Programming: A Rewriting Method for Well-Founded Semantics with Explicit Negation 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 Berlin Heidelberg, 2002 Erschienen in: Logic Programming (2002), Seite 378-392 Steggles, L.J.; Kosiuczenko, Piotr A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol 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, 15 (1998), Seite 83-104 Grosu, Radu; Regensburger, Franz Higher-Order Algebra, Logic, and Term Rewriting: The semantics of SPECTRUM 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 Berlin Heidelberg, 1994 Erschienen in: Higher-Order Algebra, Logic, and Term Rewriting (1994), Seite 124-145 Zhang, Min; Choi, Yunja; Ogata, Kazuhiro Rewriting Logic and Its Applications: A Formal Semantics of the OSEK/VDX Standard in $${\mathbb {K}}$$ Framework and Its Applications 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 International Publishing, 2014 Erschienen in: Rewriting Logic and Its Applications (2014), Seite 280-296 Ahrendt, Wolfgang; Roth, Andreas; Sasse, Ralf Logic for Programming, Artificial Intelligence, and Reasoning: Automatic Validation of Transformation Rules for Java Verification Against a Rewriting 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. Springer Berlin Heidelberg, 2005 Erschienen in: Logic for Programming, Artificial Intelligence, and Reasoning (2005), Seite 412-426 Braga, Christiano de O.; Haeusler, E. Hermann; Meseguer, José; Mosses, Peter D. Algebraic Methodology and Software Technology: Maude Action Tool: Using Reflection to Map Action Semantics to 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. Springer Berlin Heidelberg, 2000 Erschienen in: Algebraic Methodology and Software Technology (2000), Seite 407-421 Zangari, Jessica; Calimeri, Francesco; Perri, Simona Proceedings 35th International Conference on Logic Programming (Technical Communications) : Tree Decomposition Rewritings for Optimizing Logic Programs under Answer Set Semantics : Tree Decomposition Rewritings for Optimizing Logic Programs under Answer Set 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. Open Publishing Association, 2019 Erschienen in: Electronic Proceedings in Theoretical Computer Science, 306 (2019), Seite 330-332
Boronat, Artur; Heckel, Reiko; Meseguer, José Fundamental Approaches to Software Engineering: Rewriting Logic Semantics and Verification of Model Transformations 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 Berlin Heidelberg, 2009 Erschienen in: Fundamental Approaches to Software Engineering (2009), Seite 18-33
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Pérez-Urbina, Héctor; Motik, Boris; Horrocks, Ian Semantics in Data and Knowledge Bases: Rewriting Conjunctive Queries over Description Logic Knowledge Bases 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 Berlin Heidelberg, 2008 Erschienen in: Semantics in Data and Knowledge Bases (2008), Seite 199-214
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Meseguer, José; Roşu, Grigore Automated Reasoning: Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools 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 Berlin Heidelberg, 2004 Erschienen in: Automated Reasoning (2004), Seite 1-44
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cabalar, Pedro Logic Programming: A Rewriting Method for Well-Founded Semantics with Explicit Negation 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 Berlin Heidelberg, 2002 Erschienen in: Logic Programming (2002), Seite 378-392
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Steggles, L.J.; Kosiuczenko, Piotr A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol 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, 15 (1998), Seite 83-104
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Grosu, Radu; Regensburger, Franz Higher-Order Algebra, Logic, and Term Rewriting: The semantics of SPECTRUM 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 Berlin Heidelberg, 1994 Erschienen in: Higher-Order Algebra, Logic, and Term Rewriting (1994), Seite 124-145
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Zhang, Min; Choi, Yunja; Ogata, Kazuhiro Rewriting Logic and Its Applications: A Formal Semantics of the OSEK/VDX Standard in $${\mathbb {K}}$$ Framework and Its Applications 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 International Publishing, 2014 Erschienen in: Rewriting Logic and Its Applications (2014), Seite 280-296
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ahrendt, Wolfgang; Roth, Andreas; Sasse, Ralf Logic for Programming, Artificial Intelligence, and Reasoning: Automatic Validation of Transformation Rules for Java Verification Against a Rewriting 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. Springer Berlin Heidelberg, 2005 Erschienen in: Logic for Programming, Artificial Intelligence, and Reasoning (2005), Seite 412-426
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Braga, Christiano de O.; Haeusler, E. Hermann; Meseguer, José; Mosses, Peter D. Algebraic Methodology and Software Technology: Maude Action Tool: Using Reflection to Map Action Semantics to 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. Springer Berlin Heidelberg, 2000 Erschienen in: Algebraic Methodology and Software Technology (2000), Seite 407-421
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Zangari, Jessica; Calimeri, Francesco; Perri, Simona Proceedings 35th International Conference on Logic Programming (Technical Communications) : Tree Decomposition Rewritings for Optimizing Logic Programs under Answer Set Semantics : Tree Decomposition Rewritings for Optimizing Logic Programs under Answer Set 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. Open Publishing Association, 2019 Erschienen in: Electronic Proceedings in Theoretical Computer Science, 306 (2019), Seite 330-332
> 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