default search action

combined dblp search
author search
venue search
publication search

ask others

WRLA 2020: Virtual Event (Satellite Event of ETAPS 2020)

> Home > Conferences and Workshops > WRLA
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/wrla/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/2020
Santiago Escobar, Narciso Martí-Oliet:
Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12328, Springer 2020, ISBN 978-3-030-63594-7
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/TourE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/TourE20
Thierry Boy de la Tour, Rachid Echahed:
Combining Parallel Graph Rewriting and Quotient Graphs. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/0002LR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/0002LR20
Xiaohong Chen, Dorel Lucanu, Grigore Rosu:
Connecting Constrained Constructor Patterns and Matching Logic. 19-37
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/DuranRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/DuranRS20
Francisco Durán, Camilo Rocha, Gwen Salaün:
Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude. 38-56
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/MarinDK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/MarinDK20
Mircea Marin, Besik Dundua, Temur Kutsia:
A Rule-Based System for Computation and Deduction in Mathematica. 57-74
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/Meseguer20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/Meseguer20
José Meseguer:
Variants in the Infinitary Unification Wonderland. 75-95
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/Meseguer20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/Meseguer20a
José Meseguer:
Variant Satisfiability of Parameterized Strings. 96-113
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/MeseguerS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/MeseguerS20
José Meseguer, Stephen Skeirik:
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification. 114-135
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/OkadaT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/OkadaT20
Mitsuhiro Okada, Yuta Takahashi:
A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems. 136-155
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/RubioMPV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/RubioMPV20
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo:
Strategies, Model Checking and Branching-Time Properties in Maude. 156-175
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/SkeirikMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/SkeirikMR20
Stephen Skeirik, José Meseguer, Camilo Rocha:
Verification of the IBOS Browser Security Properties in Reachability Logic. 176-196
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/NigamT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/NigamT20
Vivek Nigam, Carolyn L. Talcott:
Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications. 197-215

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.