Developing developments (Q1392147): Difference between revisions

@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281490
@@ Property / cites work: Q4281490 / rank @@
+Normal rank
@@ Property / cites work @@
+Interaction Systems I: The theory of optimal reductions
+Normal rank
@@ Property / cites work @@
+Interaction systems II: The practice of optimal reductions
+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 @@
+Typed lambda calculi and applications. International conference, TLCA '93, March 16--18, 1993, Utrecht, the Netherlands. Proceedings
+Normal rank
@@ Property / cites work @@
+A set of postulates for the foundation of logic. II
+Normal rank
@@ Property / cites work @@
+Some Properties of Conversion
@@ Property / cites work: Some Properties of Conversion / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining first order algebraic rewriting systems, recursion and extensional lambda calculi
+Normal rank
@@ Property / cites work @@
+Simulating expansions without expansions
@@ Property / cites work: Simulating expansions without expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024832
@@ Property / cites work: Q3024832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791120
@@ Property / cites work: Q3791120 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence without termination via parallel critical pairs
+Normal rank
@@ Property / cites work @@
+Q3659755
@@ Property / cites work: Q3659755 / rank @@
+Normal rank
@@ Property / cites work @@
+Reductions of Residuals are Finite
@@ Property / cites work: Reductions of Residuals are Finite / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Residual theory in λ-calculus: a formal development
+Normal rank
@@ Property / cites work @@
+Context rewriting
@@ Property / cites work: Context rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3356291
@@ Property / cites work: Q3356291 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory reduction systems: Introduction and survey
+Normal rank
@@ Property / cites work @@
+A logic programming language with lambda-abstraction, function variables, and simple unification
+Normal rank
@@ Property / cites work @@
+Closed categories and the theory of proofs
@@ Property / cites work: Closed categories and the theory of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281481
@@ Property / cites work: Q4281481 / rank @@
+Normal rank
@@ Property / cites work @@
+Development closed critical pairs
@@ Property / cites work: Development closed critical pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Developing developments
@@ Property / cites work: Developing developments / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501166
@@ Property / cites work: Q4501166 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229811
@@ Property / cites work: Q4229811 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence and superdevelopments
@@ Property / cites work: Confluence and superdevelopments / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Q4281488
@@ Property / cites work: Q4281488 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Church-Rosser property for the direct sum of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q3830525
@@ Property / cites work: Q3830525 / rank @@
+Normal rank
@@ Property / cites work @@
+The Clausal Theory of Types
@@ Property / cites work: The Clausal Theory of Types / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1392147