Rewriting Logic and Its Applications
13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers
(Sprache: Englisch)
This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020.
Due to the COVID-19 pandemic the workshop took place virtually.
The 11...
Due to the COVID-19 pandemic the workshop took place virtually.
The 11...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Rewriting Logic and Its Applications “
Klappentext zu „Rewriting Logic and Its Applications “
This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020.Due to the COVID-19 pandemic the workshop took place virtually.
The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions Rewriting logic is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields.
Inhaltsverzeichnis zu „Rewriting Logic and Its Applications “
Models of rewriting and rewriting logic.- Termination, confluence, coherence, and complexity.- Unification, generalization, and narrowing.- Graph rewriting.- Tree automata.- Rewriting strategies.- Rewriting-based declarative languages.- Explicit-state and symbolic model checking techniques.- Rewriting-based theorem proving, including (co)inductive theorem proving.- Rewriting-based constraint solving and satisfiability.
Bibliographische Angaben
- 2020, 1st ed. 2020, VII, 217 Seiten, 11 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Santiago Escobar, Narciso Martí-Oliet
- Verlag: Springer, Berlin
- ISBN-10: 3030635945
- ISBN-13: 9783030635947
Sprache:
Englisch
Kommentar zu "Rewriting Logic and Its Applications"
Schreiben Sie einen Kommentar zu "Rewriting Logic and Its Applications".
Kommentar verfassen