On the complexity of stream equality (Q2875229): Difference between revisions

@@ Property / cites work @@
+Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
+Normal rank
@@ Property / cites work @@
+Correspondence between ALGOL 60 and Church's Lambda-notation
+Normal rank
@@ Property / cites work @@
+Nondeterministic Ω-Computations and the Analytical Hierarchy
+Normal rank
@@ Property / cites work @@
+Q3060302
@@ Property / cites work: Q3060302 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary lambda calculus
@@ Property / cites work: Infinitary lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Observational logic, constructor-based logic, and their duality.
+Normal rank
@@ Property / cites work @@
+Q4146722
@@ Property / cites work: Q4146722 / rank @@
+Normal rank
@@ Property / cites work @@
+Context induction: A proof principle for behavioural abstractions and algebraic implementations
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Levels of undecidability in rewriting
@@ Property / cites work: Levels of undecidability in rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A hidden agenda
@@ Property / cites work: A hidden agenda / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for Turing machines
@@ Property / cites work: Decision problems for Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Highlights in infinitary rewriting and lambda calculus
+Normal rank
@@ Property / cites work @@
+Q5656753
@@ Property / cites work: Q5656753 / rank @@
+Normal rank
@@ Property / cites work @@
+A coinductive calculus of streams
@@ Property / cites work: A coinductive calculus of streams / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural differential equations: a coinductive calculus of streams, automata, and power series
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Productivity of stream definitions
@@ Property / cites work: Productivity of stream definitions / rank @@
+Normal rank