Interactive foundations of computing (Q1127523): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Computer science today. Recent trends and developments
+Normal rank
@@ Property / cites work @@
+Universal axioms for bisimulations
@@ Property / cites work: Universal axioms for bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5075288
@@ Property / cites work: Q5075288 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5737082
@@ Property / cites work: Q5737082 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585020
@@ Property / cites work: Q5585020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077434
@@ Property / cites work: Q4077434 / rank @@
+Normal rank
@@ Property / cites work @@
+Games against nature
@@ Property / cites work: Games against nature / rank @@
+Normal rank
@@ Property / cites work @@
+Shortest paths without a map
@@ Property / cites work: Shortest paths without a map / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of Logic Based on Ordinals<sup>†</sup>
@@ Property / cites work: Systems of Logic Based on Ordinals<sup>†</sup> / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(97)00154-0
+Normal rank
@@ Property / OpenAlex ID @@
+W1976503857
@@ Property / OpenAlex ID: W1976503857 / rank @@
+Normal rank