On some classes of interpretations (Q1251892): Difference between revisions

@@ Property / describes a project that uses @@
+LCF
@@ Property / describes a project that uses: LCF / 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/0022-0000(78)90016-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2066126160
@@ Property / OpenAlex ID: W2066126160 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable Properties of Monadic Functional Schemas
+Normal rank
@@ Property / cites work @@
+Q5570212
@@ Property / cites work: Q5570212 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138104
@@ Property / cites work: Q4138104 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Properties of Programs by Structural Induction
+Normal rank
@@ Property / cites work @@
+Q4178463
@@ Property / cites work: Q4178463 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Program Schemas
@@ Property / cites work: Generalized Program Schemas / rank @@
+Normal rank
@@ Property / cites work @@
+A representation of trees by languages. II
@@ Property / cites work: A representation of trees by languages. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4127365
@@ Property / cites work: Q4127365 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4164787
@@ Property / cites work: Q4164787 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139646
@@ Property / cites work: Q4139646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138713
@@ Property / cites work: Q4138713 / rank @@
+Normal rank
@@ Property / cites work @@
+Another recursion induction principle
@@ Property / cites work: Another recursion induction principle / rank @@
+Normal rank
@@ Property / cites work @@
+Q4116078
@@ Property / cites work: Q4116078 / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness is mu-ineffable
@@ Property / cites work: Finiteness is mu-ineffable / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Bases for Chain-complete Posets
@@ Property / cites work: Bases for Chain-complete Posets / rank @@
+Normal rank