Strategies in conditional narrowing modulo SMT plus axioms

DOI10.1007/978-3-031-31476-6_1zbMath1529.68129WikidataQ123905795 ScholiaQ123905795MaRDI QIDQ6175103

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

Publication date: 17 August 2023

Published in: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (Search for Journal in Brave)

zbMATH Keywords

reachabilityunificationnarrowingSMTrewriting logic

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Rewriting modulo SMT and open system analysis
• Strict coherence of conditional rewriting modulo axioms
• Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
• CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
• Completeness results for basic narrowing
• Folding variant narrowing and optimal variant termination
• Parameterized strategies specification in Maude
• Generalized rewrite theories, coherence completion, and symbolic methods
• Programming and symbolic computation in Maude
• Semantic foundations for generalized rewrite theories
• Deduction, Strategies, and Rewriting
• Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

This page was built for publication: Strategies in conditional narrowing modulo SMT plus axioms