Comparative semantics for flow of control in logic programming without logic (Q805247): Difference between revisions

@@ 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/0890-5401(91)90036-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2102386160
@@ Property / OpenAlex ID: W2102386160 / rank @@
+Normal rank
@@ Property / cites work @@
+Denotational semantics of a parallel object-oriented language
+Normal rank
@@ Property / cites work @@
+Solving reflexive domain equations in a category of complete metric spaces
+Normal rank
@@ Property / cites work @@
+Countable nondeterminism and random assignment
@@ Property / cites work: Countable nondeterminism and random assignment / rank @@
+Normal rank
@@ Property / cites work @@
+Operational and denotational semantics of prolog
@@ Property / cites work: Operational and denotational semantics of prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Linear time and branching time semantics for recursion with merge
+Normal rank
@@ Property / cites work @@
+Comparative metric semantics for concurrent PROLOG
+Normal rank
@@ Property / cites work @@
+Q3745260
@@ Property / cites work: Q3745260 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric semantics for concurrency
@@ Property / cites work: Metric semantics for concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite streams and finite observations in the semantics of uniform concurrency
+Normal rank
@@ Property / cites work @@
+Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
+Normal rank
@@ Property / cites work @@
+Q3975030
@@ Property / cites work: Q3975030 / rank @@
+Normal rank
@@ Property / cites work @@
+Processes and the denotational semantics of concurrency
+Normal rank
@@ Property / cites work @@
+Q3727355
@@ Property / cites work: Q3727355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733426
@@ Property / cites work: Q4733426 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Denotational and operational semantics for prolog
@@ Property / cites work: Denotational and operational semantics for prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Q5520521
@@ Property / cites work: Q5520521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4150804
@@ Property / cites work: Q4150804 / rank @@
+Normal rank
@@ Property / cites work @@
+Declarative modeling of the operational behavior of logic languages
+Normal rank
@@ Property / cites work @@
+Q3830552
@@ Property / cites work: Q3830552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907039
@@ Property / cites work: Q3907039 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3787443
@@ Property / cites work: Q3787443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3795188
@@ Property / cites work: Q3795188 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm = logic + control
@@ Property / cites work: Algorithm = logic + control / rank @@
+Normal rank
@@ Property / cites work @@
+Sur une méthode de métrisation complète de certains espaces d'ensembles compacts
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3857704
@@ Property / cites work: Q3857704 / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3657409
@@ Property / cites work: Q3657409 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparative semantics for prolog with cut
@@ Property / cites work: Comparative semantics for prolog with cut / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:805247