Bruno Courcelle. Fundamental properties of infinite trees. Theoretical Computer Science, 25(1):95--169, 1983. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Subtyping Recursive Types modulo Associative Commutative.. - Di Cosmo, Pottier, Remy (2003) (Correct)
Coalgebraic Monads - Ghani, Lüth, De Marchi (2002) (3 citations) (Correct)
Interpretations of Recursively Defined Types - Schwartzbach (Correct)
Efficient Type Matching - Jha, Palsberg, Zhao (2002) (3 citations) (Correct)
Situated Simplification - Podelski, Smolka (1995) (7 citations) (Correct)
Situated Simplification - Podelski, Smolka (1995) (7 citations) (Correct)
On the Theory of Structural Subtyping - Kuncak, Rinard (2003) (Correct)
Subtyping Recursive Types modulo Associative Commutative.. - Di Cosmo, Pottier, Remy (2003) (Correct)
Demand-Driven Type Analysis for Dynamically-Typed Functional.. - Dubé (Correct)
Reasoning About Others: Representing and Processing Infinite .. - Brainov, Sandholm (2000) (2 citations) (Correct)
Static Correctness of Hierarchical Procedures - Schwartzbach (1990) (Correct)
Typing and Subtyping - For Mobile Processes (Correct)
The Complexity of Simple Subtyping Systems - Rehof (1998) (9 citations) (Correct)
Polytypic Functions Over Nested Datatypes - Hinze (1999) (7 citations) (Correct)
Holographic Trees - Boldi, Vigna (Correct)
Hybrid Constraints for Regular Terms - Hougaard (Correct)
Recursive Types - Gapeyev, Levin, Pierce (Correct)
Efficient Logic Variables for Distributed Computing - Haridi, Van Roy, Brand.. (5 citations) (Correct)
Type Inference for Record Concatenation and Subtyping - Palsberg, Zhao (2003) (2 citations) (Correct)
Decidability Properties Of Recursive Types - Cardone, Coppo (2003) (Correct)
Algebra of Flownomials; Part 1: Binary Flownomials; Basic Theory - Stefanescu (Correct)
Active Libraries and Universal Languages - Veldhuizen (2004) (1 citation) (Correct)
Smallest Horn Clause Programs - Devienne, Lebègue, Parrain.. (1994) (7 citations) (Correct)
Correct Separate and Selective Closure Conversion - Steckler (Correct)
Type Inference with Recursive Types at Different Ranks - Pericas-Geertsen (1994) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC