Development closed critical pairs (Q4645811): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-61254-8_26
+Normal rank
@@ Property / OpenAlex ID @@
+W1761458962
@@ Property / OpenAlex ID: W1761458962 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+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 @@
+Some Properties of Conversion
@@ Property / cites work: Some Properties of Conversion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / 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 @@
+Q3356291
@@ Property / cites work: Q3356291 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting techniques and applications. 5th international conference RTA-93, Montréal, Canada, June 16--18, 1993. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999156
@@ Property / cites work: Q3999156 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297316
@@ Property / cites work: Q4297316 / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
+Normal rank
@@ Property / cites work @@
+Higher-order rewrite systems and their confluence
@@ Property / cites work: Higher-order rewrite systems and their confluence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281481
@@ Property / cites work: Q4281481 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence by decreasing diagrams
@@ Property / cites work: Confluence by decreasing diagrams / 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 @@
+Logic programming with sequent systems
@@ Property / cites work: Logic programming with sequent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281488
@@ Property / cites work: Q4281488 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3830525
@@ Property / cites work: Q3830525 / rank @@
+Normal rank