Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

DOI10.1007/978-3-319-23165-5_2zbMath1321.68324OpenAlexW2730680684WikidataQ123905822 ScholiaQ123905822MaRDI QIDQ2945699

Narciso Martí-Oliet, Isabel Pita, Miguel Palomino, Luis Antonio Aguirre

Publication date: 14 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23165-5_2

zbMATH Keywords

reachabilityunificationnarrowingrewriting logicMaudemembership equational logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Related Items (1)

Strategies in conditional narrowing modulo SMT plus axioms

Uses Software

• Maude
• Maude-NPA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Rewriting logic and its applications. 10th international workshop, WRLA 2014, held as a satellite event of ETAPS, Grenoble, France, April 5--6, 2014. Revised selected papers
• Strict coherence of conditional rewriting modulo axioms
• Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Operational termination of conditional term rewriting systems
• Conditional narrowing modulo a set of equations
• Completeness results for basic narrowing
• Rewriting logic: Roadmap and bibliography
• 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
• Proving operational termination of membership equational programs
• Semantic foundations for generalized rewrite theories
• Conditional Narrowing Modulo in Rewriting Logic and Maude
• Infinite-State Model Checking of LTLR Formulas Using Narrowing
• Model Checking LTLR Formulas under Localized Fairness
• Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
• A needed narrowing strategy
• Operational Termination of Membership Equational Programs: the Order-Sorted Way

This page was built for publication: Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude