Fundamental properties of infinite trees (Q1055184): Difference between revisions

@@ Property / cites work @@
+Q4172929
@@ Property / cites work: Q4172929 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric interpretations of infinite trees and semantics of non deterministic recursive programs
+Normal rank
@@ Property / cites work @@
+Q3900995
@@ Property / cites work: Q3900995 / rank @@
+Normal rank
@@ Property / cites work @@
+All solutions of a system of recursion equations in infinite trees and other contraction theories
+Normal rank
@@ Property / cites work @@
+The existence and construction of free iterative theories
+Normal rank
@@ Property / cites work @@
+Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
+Normal rank
@@ Property / cites work @@
+Scalar and vector iteration
@@ Property / cites work: Scalar and vector iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911391
@@ Property / cites work: Q3911391 / rank @@
+Normal rank
@@ Property / cites work @@
+Compatible Orderings on the Metric Theory of Trees
+Normal rank
@@ Property / cites work @@
+Varieties of ”If-Then-Else“
@@ Property / cites work: Varieties of ”If-Then-Else“ / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of a word problem: On a conjecture of Strong, Maggiolo-Schettini and Rosen
+Normal rank
@@ Property / cites work @@
+On jump-deterministic pushdown automata
@@ Property / cites work: On jump-deterministic pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+A representation of trees by languages. II
@@ Property / cites work: A representation of trees by languages. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198080
@@ Property / cites work: Q4198080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4192947
@@ Property / cites work: Q4192947 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite trees in normal form and recursive equations having a unique solution
+Normal rank
@@ Property / cites work @@
+Q3912007
@@ Property / cites work: Q3912007 / rank @@
+Normal rank
@@ Property / cites work @@
+On the equivalence problem for attribute systems
@@ Property / cites work: On the equivalence problem for attribute systems / rank @@
+Normal rank
@@ Property / cites work @@
+On some classes of interpretations
@@ Property / cites work: On some classes of interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4772711
@@ Property / cites work: Q4772711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4164787
@@ Property / cites work: Q4164787 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912630
@@ Property / cites work: Q3912630 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness results for the equivalence of recursive schemas
+Normal rank
@@ Property / cites work @@
+An algebraic definition for control structures
@@ Property / cites work: An algebraic definition for control structures / rank @@
+Normal rank
@@ Property / cites work @@
+The IO- and OI-hierarchies
@@ Property / cites work: The IO- and OI-hierarchies / rank @@
+Normal rank
@@ Property / cites work @@
+Q4151140
@@ Property / cites work: Q4151140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Programming With and Without go to Statements
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of rooted trees
@@ Property / cites work: On the algebraic structure of rooted trees / rank @@
+Normal rank
@@ Property / cites work @@
+IO and OI. II
@@ Property / cites work: IO and OI. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q3916003
@@ Property / cites work: Q3916003 / rank @@
+Normal rank
@@ Property / cites work @@
+DPDA's in 'Atomic normal form' and applications to equivalence problems
+Normal rank
@@ Property / cites work @@
+Recursion-closed algebraic theories
@@ Property / cites work: Recursion-closed algebraic theories / rank @@
+Normal rank
@@ Property / cites work @@
+<i>n</i>-Rational Algebras II. Varieties and Logic of inequalities
+Normal rank
@@ Property / cites work @@
+Regular trees and the free iterative theory
@@ Property / cites work: Regular trees and the free iterative theory / 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 @@
+Program transformations and algebraic semantics
@@ Property / cites work: Program transformations and algebraic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics
@@ Property / cites work: Algebraic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+On equivalence of grammars through transformation trees
+Normal rank
@@ Property / cites work @@
+Q3871942
@@ Property / cites work: Q3871942 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q5653564
@@ Property / cites work: Q5653564 / rank @@
+Normal rank
@@ Property / cites work @@
+Bases for Chain-complete Posets
@@ Property / cites work: Bases for Chain-complete Posets / rank @@
+Normal rank
@@ Property / cites work @@
+A compactification of the algebra of terms
@@ Property / cites work: A compactification of the algebra of terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4116078
@@ Property / cites work: Q4116078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4147597
@@ Property / cites work: Q4147597 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4066560
@@ Property / cites work: Q4066560 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing in systems described by equations
@@ Property / cites work: Computing in systems described by equations / rank @@
+Normal rank
@@ Property / cites work @@
+The decidability of equivalence for deterministic stateless pushdown automata
+Normal rank
@@ Property / cites work @@
+The equivalence problem for real-time strict deterministic languages
+Normal rank
@@ Property / cites work @@
+Linear unification
@@ Property / cites work: Linear unification / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Program equivalence and context-free grammars
@@ Property / cites work: Program equivalence and context-free grammars / rank @@
+Normal rank
@@ Property / cites work @@
+On context-free languages and push-down automata
@@ Property / cites work: On context-free languages and push-down automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3877027
@@ Property / cites work: Q3877027 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3917490
@@ Property / cites work: Q3917490 / rank @@
+Normal rank
@@ Property / cites work @@
+Unique fixed points vs. least fixed points
@@ Property / cites work: Unique fixed points vs. least fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem for deterministic finite-turn pushdown automata
+Normal rank
@@ Property / cites work @@
+A uniform approach to inductive posets and inductive closure
+Normal rank