Decidability properties for fragments of CHR (Q3585171): Difference between revisions

@@ Property / Wikidata QID @@
+Q62043709
@@ Property / Wikidata QID: Q62043709 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4476
@@ Property / arXiv ID: 1007.4476 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Handling Rules
@@ Property / cites work: Constraint Handling Rules / rank @@
+Normal rank
@@ Property / cites work @@
+A timed concurrent constraint language.
@@ Property / cites work: A timed concurrent constraint language. / rank @@
+Normal rank
@@ Property / cites work @@
+As time goes by: Constraint Handling Rules
@@ Property / cites work: As time goes by: Constraint Handling Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3585171