Strategies in conditional narrowing modulo SMT plus axioms

DOI10.1007/978-3-031-31476-6_1MaRDI QIDQ6175103zbMATH OpenWikidataFDO

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

Publication date 17 August 2023

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

Full work available at URL https://doi.org/10.1007/978-3-031-31476-6_1

zbMATH Keywords

narrowingreachabilityrewriting logicSMTunification

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Conditional narrowing modulo in rewriting logic and Maude
• Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
• Sentence-normalized conditional narrowing modulo in rewriting logic and Maude
• Conditional narrowing modulo a set of equations
• Narrowing and rewriting logic: from foundations to applications

Cites work

• Completeness results for basic narrowing
• CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
• Deduction, strategies, and rewriting
• Folding variant narrowing and optimal variant termination
• Generalized rewrite theories, coherence completion, and symbolic methods
• scientific article; zbMATH DE number 4092755 (Why is no real title available?)
• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• scientific article; zbMATH DE number 3413831 (Why is no real title available?)
• Parameterized strategies specification in Maude
• Programming and symbolic computation in Maude
• Rewriting modulo SMT and open system analysis
• Semantic foundations for generalized rewrite theories
• Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
• Strict coherence of conditional rewriting modulo axioms
• Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6175103)