Rewriting Logic and Its Applications [[electronic resource] ] : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers / / edited by Santiago Escobar, Narciso Martí-Oliet

• Record Nr.: UNISA996418205303316
• Pubbl/distr/stampa: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
• ISBN: 3-030-63595-3
• Edizione: [1st ed. 2020.]
• Descrizione fisica: 1 online resource (VII, 217 p. 39 illus., 11 illus. in color.)
• Collana: Theoretical Computer Science and General Issues, , 2512-2029 ; ; 12328
• Disciplina: 005.1015113
• Soggetti: Computer science; Computer Science Logic and Foundations of Programming
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Includes index.
• Nota di contenuto: 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.
• Sommario/riassunto: 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.