Infinitary rewriting: meta-theory and convergence (Q884993): Difference between revisions

@@ Property / DOI @@
-.1007/s00236-007-0043-2
@@ Property / DOI: 10.1007/s00236-007-0043-2 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2084072743
@@ Property / OpenAlex ID: W2084072743 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric interpretations of infinite trees and semantics of non deterministic recursive programs
+Normal rank
@@ Property / cites work @@
+Tree generating regular systems
@@ Property / cites work: Tree generating regular systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5566981
@@ Property / cites work: Q5566981 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Metric-Preserving Functions
@@ Property / cites work: Introduction to Metric-Preserving Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Spaces of continuous relations
@@ Property / cites work: Spaces of continuous relations / rank @@
+Normal rank
@@ Property / cites work @@
+Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
+Normal rank
@@ Property / cites work @@
+Continuous relations
@@ Property / cites work: Continuous relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3683158
@@ Property / cites work: Q3683158 / rank @@
+Normal rank
@@ Property / cites work @@
+The variable containment problem
@@ Property / cites work: The variable containment problem / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy rewriting and eager machinery
@@ Property / cites work: Lazy rewriting and eager machinery / rank @@
+Normal rank
@@ Property / cites work @@
+Convergence in topology
@@ Property / cites work: Convergence in topology / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541832
@@ Property / cites work: Q5541832 / 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 @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00236-007-0043-2
@@ Property / DOI: 10.1007/S00236-007-0043-2 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:884993