Go to main content

Rewriting logic and its applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, revised selected papers / Kyungmin Bae (eds.).

WRLA (Conference) (14th : 2022 : Munich, Germany); Bae, Kyungmin, editor.
2022
QA76.9.L63
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Rewriting logic and its applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, revised selected papers / Kyungmin Bae (eds.).
Meeting Name
WRLA (Conference) (14th : 2022 : Munich, Germany)
ISBN
9783031124419 (electronic bk.)
3031124413 (electronic bk.)
9783031124402 (print)
DOI
https://doi.org/10.1007/978-3-031-12441-9
Published
Cham, Switzerland : Springer, 2022.
Language
English
Description
1 online resource (viii, 295 pages) : illustrations (some color).
Item Number
10.1007/978-3-031-12441-9 doi
Call Number
QA76.9.L63
Dewey Decimal Classification
005.101/5113
Summary
This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022. The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report.
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed August 3, 2022).
Added Author
Bae, Kyungmin, editor.
Series
Lecture notes in computer science ; 13252.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Invited Papers
From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes
Rewriting Privacy
Invited Tutorials and Experience Report
Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method
An Overview of the Maude Strategy Language and its Applications
Teaching Formal Methods to Undergraduate Students Using Maude
Regular Papers
Business Processes Analysis with Resource-aware Machine Learning Scheduling in Rewriting Logic
Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude
An Efficient Canonical Narrowing Implementation for Protocol Analysis
Checking Sufficient Completeness by Inductive Theorem Proving
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
Automating Safety Proofs about Cyber-Physical Systems using Rewriting Modulo SMT
Executable Semantics and Type Checking for Session-Based Concurrency in Maude
Tool Papers
Parallel Maude-NPA for Cryptographic Protocol Analysis
Maude as a Library: An Efficient All-Purpose Programming Interface.

Browse Subjects

Show more subjects...

Statistics

from
to
Export