A Framework for Timed Concurrent Constraint Programming with External Functions (Q2867965): Difference between revisions

@@ Property / author @@
-María Alpuente
@@ Property / author: María Alpuente / rank @@
-Normal rank
@@ Property / author @@
-Bernhard Gramlich
@@ Property / author: Bernhard Gramlich / rank @@
-Normal rank
@@ Property / author @@
+María Alpuente
@@ Property / author: María Alpuente / rank @@
+Normal rank
@@ Property / author @@
+Bernhard Gramlich
@@ Property / author: Bernhard Gramlich / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TOY
@@ Property / describes a project that uses: TOY / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mercury
@@ Property / describes a project that uses: Mercury / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2007.05.043
+Normal rank
@@ Property / OpenAlex ID @@
+W1993216971
@@ Property / OpenAlex ID: W1993216971 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57978212
@@ Property / Wikidata QID: Q57978212 / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Timed Concurrent Constraint Programming with External Functions
+Normal rank
@@ Property / cites work @@
+A timed concurrent constraint language.
@@ Property / cites work: A timed concurrent constraint language. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3201744
@@ Property / cites work: Q3201744 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of timed concurrent constraint programs
+Normal rank
@@ Property / cites work @@
+Q4844168
@@ Property / cites work: Q4844168 / rank @@
+Normal rank
@@ Property / cites work @@
+The execution algorithm of mercury, an efficient purely declarative logic programming language
+Normal rank
@@ Property / cites work @@
+Decidability of infinite-state timed CCP processes and first-order LTL
+Normal rank
@@ Property / cites work @@
+Logic programming in the context of multiparadigm programming: the Oz experience
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2867965