Rewriting logic and its applications : 13th International Workshop, WRLA 2020, virtual event, October 20-22, 2020 : revised selected papers / Santiago Escobar, Narciso Martí-Oliet (eds.).
WRLA (Conference) (13th : 2020 : Online); Escobar, Santiago (Computer scientist), editor.; Martí-Oliet, N. (Narciso), editor.
2020
Available Online

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 : 13th International Workshop, WRLA 2020, virtual event, October 20-22, 2020 : revised selected papers / Santiago Escobar, Narciso Martí-Oliet (eds.).
Meeting Name WRLA (Conference) (13th : 2020 : Online)
ISBN 9783030635954 (electronic book)
3030635953 (electronic book)
3030635945
9783030635947
Published Cham : Springer, [2020]
Language English
Description 1 online resource
Access Note Access limited to authorized users.
Added Author Escobar, Santiago (Computer scientist), editor.
Martí-Oliet, N. (Narciso), editor.
Available in Other Form Print version: 9783030635947
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export