scientific article; zbMATH DE number 7455704
From MaRDI portal
Publication:5020960
Damián Aparicio-Sánchez, Santiago Escobar, Julia Sapiña
Publication date: 11 January 2022
Full work available at URL: https://arxiv.org/abs/2009.11070
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Strict coherence of conditional rewriting modulo axioms
- Normal forms and normal theories in conditional rewriting
- Tests and proofs. 4th international conference, TAP 2010, Málaga, Spain, July 1--2, 2010. Proceedings
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Termination of narrowing revisited
- Conditional rewriting logic as a unified model of concurrency
- Symbolic reasoning methods in rewriting logic and Maude
- Twenty years of rewriting logic
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
- Folding variant narrowing and optimal variant termination
- Rule-based unification in combined theories and the finite variant property
- Generalized rewrite theories, coherence completion, and symbolic methods
- Programming and symbolic computation in Maude
- Ground confluence of order-sorted conditional specifications modulo axioms
- On Forward Closure and the Finite Variant Property
- Abstract Logical Model Checking of Infinite-State Systems Using Narrowing
- Unification and Matching in Hierarchical Combinations of Syntactic Theories
- Matching, unification and complexity
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
- Modular Termination of Basic Narrowing
- Termination Modulo Combinations of Equational Theories
- Completion of a Set of Rules Modulo a Set of Equations
- Variant-Based Satisfiability in Initial Algebras
- Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging
- Symbolic Model Checking of Infinite-State Systems Using Narrowing
- Term Rewriting and Applications
This page was built for publication:
