EnglishUnlimited Access
For Registered Users
To contact us, you can contact us via the following mobile numbers by calling and WhatsApp
For Registered Users
100% Secure Payment
10 Days Returns
Call Us Anytime
edition: 1st ed.
Authors: Santiago Escobar. Narciso Martí-Oliet
serie: Lecture Notes in Computer Science 12328
ISBN : 9783030635947, 9783030635954
publisher: Springer International Publishing;Springer
publish year: 2020
pages: 224
language: English
ebook format : PDF (It will be converted to PDF, EPUB OR AZW3 if requested by the user)
file size: 6 MB
Related keywords of Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers book : Computer Science, Logics and Meanings of Programs
Front Matter ....Pages i-vii
Combining Parallel Graph Rewriting and Quotient Graphs (Thierry Boy de la Tour, Rachid Echahed)....Pages 1-18
Connecting Constrained Constructor Patterns and Matching Logic (Xiaohong Chen, Dorel Lucanu, Grigore Roşu)....Pages 19-37
Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude (Francisco Durán, Camilo Rocha, Gwen Salaün)....Pages 38-56
A Rule-Based System for Computation and Deduction in Mathematica (Mircea Marin, Besik Dundua, Temur Kutsia)....Pages 57-74
Variants in the Infinitary Unification Wonderland (José Meseguer)....Pages 75-95
Variant Satisfiability of Parameterized Strings (José Meseguer)....Pages 96-113
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification (José Meseguer, Stephen Skeirik)....Pages 114-135
A Simplified Application of Howard’s Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems (Mitsuhiro Okada, Yuta Takahashi)....Pages 136-155
Strategies, Model Checking and Branching-Time Properties in Maude (Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo)....Pages 156-175
Verification of the IBOS Browser Security Properties in Reachability Logic (Stephen Skeirik, José Meseguer, Camilo Rocha)....Pages 176-196
Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications (Vivek Nigam, Carolyn Talcott)....Pages 197-215
Back Matter ....Pages 217-217
