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

9783030635947, 9783030635954

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications

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

10.1007/978-3-030-63595-4_11 ◽

2020 ◽

pp. 197-215

Author(s):

Vivek Nigam ◽

Carolyn Talcott

Keyword(s):

Industry 4.0

Download Full-text

Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification

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

10.1007/978-3-030-63595-4_7 ◽

2020 ◽

pp. 114-135

Author(s):

José Meseguer ◽

Stephen Skeirik

Keyword(s):

Inductive Reasoning

Download Full-text

Strategies, Model Checking and Branching-Time Properties in Maude

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

10.1007/978-3-030-63595-4_9 ◽

2020 ◽

pp. 156-175

Author(s):

Rubén Rubio ◽

Narciso Martí-Oliet ◽

Isabel Pita ◽

Alberto Verdejo

Keyword(s):

Model Checking ◽

Branching Time

Download Full-text

A Simplified Application of Howard’s Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems

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

10.1007/978-3-030-63595-4_8 ◽

2020 ◽

pp. 136-155

Author(s):

Mitsuhiro Okada ◽

Yuta Takahashi

Keyword(s):

Lambda Calculus ◽

Notation System ◽

Typed Lambda Calculus ◽

Termination Proofs

Download Full-text

Variant Satisfiability of Parameterized Strings

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

10.1007/978-3-030-63595-4_6 ◽

2020 ◽

pp. 96-113

Author(s):

José Meseguer

Download Full-text

Variants in the Infinitary Unification Wonderland

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

10.1007/978-3-030-63595-4_5 ◽

2020 ◽

pp. 75-95

Author(s):

José Meseguer

Download Full-text

Connecting Constrained Constructor Patterns and Matching Logic

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

10.1007/978-3-030-63595-4_2 ◽

2020 ◽

pp. 19-37

Author(s):

Xiaohong Chen ◽

Dorel Lucanu ◽

Grigore Roşu

Download Full-text

Verification of the IBOS Browser Security Properties in Reachability Logic

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

10.1007/978-3-030-63595-4_10 ◽

2020 ◽

pp. 176-196

Author(s):

Stephen Skeirik ◽

José Meseguer ◽

Camilo Rocha

Keyword(s):

Browser Security ◽

Security Properties

Download Full-text

A Rule-Based System for Computation and Deduction in Mathematica

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

10.1007/978-3-030-63595-4_4 ◽

2020 ◽

pp. 57-74

Author(s):

Mircea Marin ◽

Besik Dundua ◽

Temur Kutsia

Keyword(s):

Rule Based ◽

Rule Based System

Download Full-text

Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude

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

10.1007/978-3-030-63595-4_3 ◽

2020 ◽

pp. 38-56

Author(s):

Francisco Durán ◽

Camilo Rocha ◽

Gwen Salaün

Keyword(s):

Resource Provisioning

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications

Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification

Strategies, Model Checking and Branching-Time Properties in Maude

A Simplified Application of Howard’s Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems

Variant Satisfiability of Parameterized Strings

Variants in the Infinitary Unification Wonderland

Connecting Constrained Constructor Patterns and Matching Logic

Verification of the IBOS Browser Security Properties in Reachability Logic

A Rule-Based System for Computation and Deduction in Mathematica

Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude

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