Anti-pattern templates

DOI10.1007/978-3-031-99984-0_32MaRDI QIDQ6869924zbMATH OpenFDO

Authors Jan Otop

Publication date 21 January 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-99984-0_32

zbMATH Keywords

pattern matchingsatisfiabilityunificationequational reasoning

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• scientific article; zbMATH DE number 6678923 (Why is no real title available?)
• scientific article; zbMATH DE number 4092756 (Why is no real title available?)
• scientific article; zbMATH DE number 176121 (Why is no real title available?)
• scientific article; zbMATH DE number 176149 (Why is no real title available?)
• scientific article; zbMATH DE number 512857 (Why is no real title available?)
• AC complement problems: Satisfiability and negation elimination
• Anti-pattern Matching Modulo
• Anti-patterns for rule-based languages
• Combination techniques and decision problems for disunification
• Satisfiability of word equations with constants is in PSPACE
• Specification and proof in membership equational logic
• Term indexing
• Undecidability of ground reducibility for word rewriting systems with variables

This page was built for publication: Anti-pattern templates

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