Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. (Q1401983): Difference between revisions

@@ Property / cites work @@
+Q5762080
@@ Property / cites work: Q5762080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325974
@@ Property / cites work: Q4325974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5520521
@@ Property / cites work: Q5520521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962973
@@ Property / cites work: Q3962973 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226265
@@ Property / cites work: Q3226265 / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of higher-order algebraic specification methods
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992832
@@ Property / cites work: Q3992832 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal algebra in higher types
@@ Property / cites work: Universal algebra in higher types / rank @@
+Normal rank
@@ Property / cites work @@
+A recursive second order initial algebra specification of primitive recursion
+Normal rank
@@ Property / cites work @@
+A completeness theorem for the expressive power of higher-order algebraic specifications
+Normal rank
@@ Property / cites work @@
+Correctness of dataflow and systolic algorithms using algebras of streams
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3809236
@@ Property / cites work: Q3809236 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion on the countable functionals
@@ Property / cites work: Recursion on the countable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+On observational equivalence and algebraic specification
+Normal rank
@@ Property / cites work @@
+Q3853703
@@ Property / cites work: Q3853703 / rank @@
+Normal rank