From Boolean Equalities to Constraints

DOI10.1007/978-3-319-27436-2_5zbMath1362.68033OpenAlexW2293528842MaRDI QIDQ5743586

Michael Hanus, Sergio Antoy

Publication date: 5 February 2016

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://pdxscholar.library.pdx.edu/compsci_fac/135

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Uses Software

• Haskell
• KiCS2
• Curry
• PAKCS

Cites Work

• Algebraic and logic programming. 6th international joint conference, ALP '97 - HOA '97, Southampton, GB, September 3--5, 1997. Proceedings
• Operational semantics for declarative multi-paradigm languages
• Abstract Diagnosis of Functional Programs
• A needed narrowing strategy
• Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
• Functional Logic Programming: From Theory to Curry
• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item
• Unnamed Item

This page was built for publication: From Boolean Equalities to Constraints