Rewriting Logic and Its Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319998398, 9783319998404

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proving Ground Confluence of Equational Specifications Modulo Axioms

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99840-4_11 ◽

2018 ◽

pp. 184-204 ◽

Cited By ~ 2

Author(s):

Francisco Durán ◽

José Meseguer ◽

Camilo Rocha

Keyword(s):

Equational Specifications

Download Full-text

Parameterized Programming for Compositional System Specification

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99840-4_4 ◽

2018 ◽

pp. 59-75

Author(s):

Óscar Martín ◽

Alberto Verdejo ◽

Narciso Martí-Oliet

Keyword(s):

System Specification ◽

Compositional System

Download Full-text

Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99840-4_13 ◽

2018 ◽

pp. 226-244 ◽

Cited By ~ 1

Author(s):

Sergio Ramírez ◽

Miguel Romero ◽

Camilo Rocha ◽

Frank Valencia

Keyword(s):

Real Time ◽

Constraint Programming ◽

Rewriting Logic ◽

Concurrent Constraint Programming

Download Full-text

Proving Structural Properties of Sequent Systems in Rewriting Logic

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99840-4_7 ◽

2018 ◽

pp. 115-135 ◽

Cited By ~ 2

Author(s):

Carlos Olarte ◽

Elaine Pimentel ◽

Camilo Rocha

Keyword(s):

Structural Properties ◽

Rewriting Logic ◽

Sequent Systems

Download Full-text

Associative Unification and Symbolic Reasoning Modulo Associativity in Maude

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99840-4_6 ◽

2018 ◽

pp. 98-114 ◽

Cited By ~ 7

Author(s):

Francisco Durán ◽

Steven Eker ◽

Santiago Escobar ◽

Narciso Martí-Oliet ◽

José Meseguer ◽

...

Keyword(s):

Symbolic Reasoning

Download Full-text

MUnit: A Unit Framework for Maude

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99840-4_3 ◽

2018 ◽

pp. 45-58

Author(s):

Adrián Riesco

Download Full-text

Approximating Any Logic Program by a CS-Program

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99840-4_14 ◽

2018 ◽

pp. 245-260

Author(s):

Yohan Boichut ◽

Vivien Pelletier ◽

Pierre Réty

Keyword(s):

Logic Program

Download Full-text

Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99840-4_5 ◽

2018 ◽

pp. 76-97 ◽

Cited By ~ 1

Author(s):

Francisco Durán ◽

Camilo Rocha ◽

Gwen Salaün

Keyword(s):

Specification And Verification

Download Full-text

Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99840-4_1 ◽

2018 ◽

pp. 1-25 ◽

Cited By ~ 7

Author(s):

Hubert Garavel ◽

Mohammad-Ali Tabikh ◽

Imad-Seddik Arrada

Keyword(s):

Pattern Matching ◽

Object Oriented ◽

Term Rewriting ◽

Object Oriented Languages

Download Full-text

Generalized Rewrite Theories and Coherence Completion

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99840-4_10 ◽

2018 ◽

pp. 164-183 ◽

Cited By ~ 2

Author(s):

José Meseguer

Download Full-text

Rewriting Logic and Its Applications - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Proving Ground Confluence of Equational Specifications Modulo Axioms

Parameterized Programming for Compositional System Specification

Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming

Proving Structural Properties of Sequent Systems in Rewriting Logic

Associative Unification and Symbolic Reasoning Modulo Associativity in Maude

MUnit: A Unit Framework for Maude

Approximating Any Logic Program by a CS-Program

Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT

Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages

Generalized Rewrite Theories and Coherence Completion

Rewriting Logic and Its Applications - Lecture Notes in Computer Science
Latest Publications