scientific article; zbMATH DE number 7453112
From MaRDI portal
Publication:5020553
Santiago Escobar, Julia Sapiña
Publication date: 6 January 2022
Full work available at URL: https://arxiv.org/abs/1909.08241
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis ⋮ Unnamed Item
Uses Software
Cites Work
- 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
- 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
- Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols
- 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
- Associative unification and symbolic reasoning modulo associativity in Maude
This page was built for publication:
