De Bruijn's weak diamond property revisited (Q740482): Difference between revisions

@@ Property / describes a project that uses @@
+CSI
@@ Property / describes a project that uses: CSI / 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/j.indag.2013.08.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2089961511
@@ Property / OpenAlex ID: W2089961511 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q3077958
@@ Property / cites work: Q3077958 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagram techniques for confluence
@@ Property / cites work: Diagram techniques for confluence / rank @@
+Normal rank
@@ Property / cites work @@
+Q2958383
@@ Property / cites work: Q2958383 / rank @@
+Normal rank
@@ Property / cites work @@
+Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
+Normal rank
@@ Property / cites work @@
+Decreasing diagrams and relative termination
@@ Property / cites work: Decreasing diagrams and relative termination / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+A geometric proof of confluence by decreasing diagrams
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence by decreasing diagrams
@@ Property / cites work: Confluence by decreasing diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence by Decreasing Diagrams
@@ Property / cites work: Confluence by Decreasing Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+CSI – A Confluence Tool
@@ Property / cites work: CSI – A Confluence Tool / rank @@
+Normal rank
@@ Property / cites work @@
+Q5389095
@@ Property / cites work: Q5389095 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:740482