Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWRLA 2020: Virtual Event (Satellite Event of ETAPS 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 - Thierry Boy de la Tour, Rachid Echahed:
Combining Parallel Graph Rewriting and Quotient Graphs. 1-18 - Xiaohong Chen, Dorel Lucanu, Grigore Rosu:
Connecting Constrained Constructor Patterns and Matching Logic. 19-37 - Francisco Durán, Camilo Rocha, Gwen Salaün:
Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude. 38-56 - Mircea Marin, Besik Dundua, Temur Kutsia:
A Rule-Based System for Computation and Deduction in Mathematica. 57-74 - José Meseguer:
Variants in the Infinitary Unification Wonderland. 75-95 - José Meseguer:
Variant Satisfiability of Parameterized Strings. 96-113 - José Meseguer, Stephen Skeirik:
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification. 114-135 - Mitsuhiro Okada, Yuta Takahashi:
A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems. 136-155 - Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo:
Strategies, Model Checking and Branching-Time Properties in Maude. 156-175 - Stephen Skeirik, José Meseguer, Camilo Rocha:
Verification of the IBOS Browser Security Properties in Reachability Logic. 176-196 - Vivek Nigam, Carolyn L. Talcott:
Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications. 197-215
a service of 
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.
last updated on 2024-06-10 21:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
