Decidability of all minimal models (Q4647581): 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.1007/3-540-61780-9_71
+Normal rank
@@ Property / OpenAlex ID @@
+W1589628946
@@ Property / OpenAlex ID: W1589628946 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Third order matching is decidable
@@ Property / cites work: Third order matching is decidable / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4274979
@@ Property / cites work: Q4274979 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428885
@@ Property / cites work: Q4428885 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024847
@@ Property / cites work: Q3024847 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of fourth-order matching
@@ Property / cites work: Decidability of fourth-order matching / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness, invariance and <i>λ</i>-definability
+Normal rank