Abstract Constraint Data Types (Q5256347): Difference between revisions

@@ Property / cites work @@
+Semiring-based constraint satisfaction and optimization
+Normal rank
@@ Property / cites work @@
+Q4190110
@@ Property / cites work: Q4190110 / rank @@
+Normal rank
@@ Property / cites work @@
+Graded consequence: an institution theoretic study
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories for Software Engineering
@@ Property / cites work: Categories for Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q3956373
@@ Property / cites work: Q3956373 / rank @@
+Normal rank
@@ Property / cites work @@
+Which Soft Constraints do you Prefer?
@@ Property / cites work: Which Soft Constraints do you Prefer? / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Graph Transformation
@@ Property / cites work: Lazy Graph Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of algebraic specification and formal software development.
+Normal rank
@@ Property / cites work @@
+A Rewriting Logic Framework for Soft Constraints
@@ Property / cites work: A Rewriting Logic Framework for Soft Constraints / rank @@
+Normal rank