Journals in DBLP
David A. Basin , Seán Matthews Scoped metatheorems. [Citation Graph (0, 0)][DBLP ] Journal ] Steven Eker Term rewriting with operator evaluation strategies. [Citation Graph (0, 0)][DBLP ] Journal ] Fausto Giunchiglia , Piergiorgio Bertoli , Alessandro Coglio The OMRS project: state of the art. [Citation Graph (0, 0)][DBLP ] Journal ] Jean-Pierre Jouannaud Membership equational logic, calculus of inductive instructions, and rewrite logic. [Citation Graph (0, 0)][DBLP ] Journal ] Claude Kirchner , Hélène Kirchner Preface. [Citation Graph (0, 0)][DBLP ] Journal ] Ulrike Lechner Object-oriented specification of distributed systems. [Citation Graph (0, 0)][DBLP ] Journal ] Michihiro Matsumoto , Kokichi Futatsugi Test set coinduction - Toward automated verification of behavioural properties. [Citation Graph (0, 0)][DBLP ] Journal ] José Meseguer , Carolyn L. Talcott Mapping OMRS to rewriting logic. [Citation Graph (0, 0)][DBLP ] Journal ] Peter D. Mosses Semantics, modularity, and rewriting logic. [Citation Graph (0, 0)][DBLP ] Journal ] W. Marco Schorlemmer Rewriting logic as a logic of special relations. [Citation Graph (0, 0)][DBLP ] Journal ] L. J. Steggles , Piotr Kosiuczenko A timed rewriting logic semantics for SDL: A case study of alternating bit protocol. [Citation Graph (0, 0)][DBLP ] Journal ] Patrick Viry Adventures in sequent calculus modulo equations. [Citation Graph (0, 0)][DBLP ] Journal ] Francisco Durán , José Meseguer An extensible module algebra for Maude. [Citation Graph (0, 0)][DBLP ] Journal ] Razvan Diaconescu , Kokichi Futatsugi An overview of CafeOBJ. [Citation Graph (0, 0)][DBLP ] Journal ] Grit Denker From rewrite theories to temporal logic theories. [Citation Graph (0, 0)][DBLP ] Journal ] Peter Borovanský Controlling rewriting: study and implementation of a strategy formalism. [Citation Graph (0, 0)][DBLP ] Journal ] Peter Borovanský , Carlos Castro Cooperation of constraint solvers: using the new process control facilities of ELAN. [Citation Graph (0, 0)][DBLP ] Journal ] Peter Borovanský , Salma Jamoussi , Pierre-Etienne Moreau , Christophe Ringeissen Handling ELAN rewrite programs via an exchange format. [Citation Graph (0, 0)][DBLP ] Journal ] Peter Borovanský , Claude Kirchner , Hélène Kirchner , Pierre-Etienne Moreau , Christophe Ringeissen An overview of ELAN. [Citation Graph (0, 0)][DBLP ] Journal ] Mark van den Brand , Paul Klint , Chris Verhoef Term rewriting for sale. [Citation Graph (0, 0)][DBLP ] Journal ] Roberto Bruni A logic for modular descriptions of asynchronous and synchronized concurrent systems. [Citation Graph (0, 0)][DBLP ] Journal ] Roberto Bruni , José Meseguer , Ugo Montanari Internal strategies in a rewriting implementation of tile systems. [Citation Graph (0, 0)][DBLP ] Journal ] Georgia Carabetta , Pierpaolo Degano , Fabio Gadducci CCS semantics via proved transition systems and rewriting logic. [Citation Graph (0, 0)][DBLP ] Journal ] Manuel Clavel Reflection in general logics, rewriting logic, and Maude. [Citation Graph (0, 0)][DBLP ] Journal ] Manuel Clavel , Francisco Durán , Steven Eker , Patrick Lincoln , Narciso Martí-Oliet , José Meseguer Metalevel computation in Maude. [Citation Graph (0, 0)][DBLP ] Journal ] Manuel Clavel , Francisco Durán , Steven Eker , Patrick Lincoln , Narciso Martí-Oliet , José Meseguer , Jose F. Quesada Maude as a metalanguage. [Citation Graph (0, 0)][DBLP ] Journal ] Eelco Visser , Zine-El-Abidine Benaissa A core language for rewriting. [Citation Graph (0, 0)][DBLP ] Journal ] 