Deciding inclusion of set constants over infinite non-strict data structures (Q5441550): Difference between revisions

@@ Property / author @@
-Manfred Schmidt-Schauss
@@ Property / author: Manfred Schmidt-Schauss / rank @@
-Normal rank
@@ Property / author @@
+Manfred Schmidt-Schauss
@@ Property / author: Manfred Schmidt-Schauss / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CLEAN
@@ Property / describes a project that uses: CLEAN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Fudgets
@@ Property / describes a project that uses: Fudgets / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2045633736
@@ Property / OpenAlex ID: W2045633736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525271
@@ Property / cites work: Q4525271 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364384
@@ Property / cites work: Q4364384 / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda calculus with explicit recursion
@@ Property / cites work: Lambda calculus with explicit recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282593
@@ Property / cites work: Q4282593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4311530
@@ Property / cites work: Q4311530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3729991
@@ Property / cites work: Q3729991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722050
@@ Property / cites work: Q2722050 / rank @@
+Normal rank
@@ Property / cites work @@
+Strictness, totality, and non-standard-type inference
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944863
@@ Property / cites work: Q4944863 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Strictness and totality analysis
@@ Property / cites work: Strictness and totality analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518886
@@ Property / cites work: Q4518886 / rank @@
+Normal rank
@@ Property / cites work @@
+Erratic Fudgets: A semantic theory for an embedded coordination language
+Normal rank
@@ Property / cites work @@
+Q4519868
@@ Property / cites work: Q4519868 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771589
@@ Property / cites work: Q3771589 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Safety of Nöcker's strictness analysis
@@ Property / cites work: Safety of Nöcker's strictness analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Equivalence of Finite Tree Automata
@@ Property / cites work: Deciding Equivalence of Finite Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028326
@@ Property / cites work: Q3028326 / rank @@
+Normal rank