From Boolean Equalities to Constraints (Q5743586): Difference between revisions

@@ Property / describes a project that uses @@
+Curry
@@ Property / describes a project that uses: Curry / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PAKCS
@@ Property / describes a project that uses: PAKCS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2293528842
@@ Property / OpenAlex ID: W2293528842 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational semantics for declarative multi-paradigm languages
+Normal rank
@@ Property / cites work @@
+Abstract Diagnosis of Functional Programs
@@ Property / cites work: Abstract Diagnosis of Functional Programs / rank @@
+Normal rank
@@ Property / cites work @@
+A needed narrowing strategy
@@ Property / cites work: A needed narrowing strategy / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and logic programming. 6th international joint conference, ALP '97 - HOA '97, Southampton, GB, September 3--5, 1997. Proceedings
+Normal rank
@@ Property / cites work @@
+Functional Logic Programming: From Theory to Curry
+Normal rank
@@ Property / cites work @@
+Q3875320
@@ Property / cites work: Q3875320 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5743586