Search the dblp DataBase

Publications of Author

1. Loïc Colson
   About Primitive Recursive Algorithms. [Citation Graph (1, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:83, n:1, pp:57-69 [Journal]
   
2. Loïc Colson
   About Primitive Recursive Algorithms. [Citation Graph (0, 0)][DBLP]
   ICALP, 1989, pp:194-206 [Conf]
   
3. Loïc Colson, Thomas Ehrhard
   On Strong Stability and Higher-Order Sequentiality [Citation Graph (0, 0)][DBLP]
   LICS, 1994, pp:103-108 [Conf]
   
4. Loïc Colson, Natasa Jonoska, Maurice Margenstern
   lambda-P Systems and Typed lambda-Calculus. [Citation Graph (0, 0)][DBLP]
   Workshop on Membrane Computing, 2004, pp:1-18 [Conf]
   
5. Loïc Colson
   A Unary Representation Result for System T. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:16, n:, pp:385-403 [Journal]
   
6. Loïc Colson
   On List Primitive Recursion and the Complexity of Computing inf. [Citation Graph (0, 0)][DBLP]
   BIT, 1992, v:32, n:1, pp:5-9 [Journal]
   
7. Loïc Colson
   The Logic in Computer Science Column Functions versus Algorithms. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1998, v:65, n:, pp:98-117 [Journal]
   
8. Loïc Colson, Serge Grigorieff
   Syntactical Truth Predicates For Second Order Arithmetic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2001, v:66, n:1, pp:225-256 [Journal]
   
9. Loïc Colson
   Syntactical Truth Predicates for Formulas with Atomic Negation. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2002, v:12, n:1, pp:1-18 [Journal]
   
10. Loïc Colson
    On Diagonal Fixed Points of Increasing Functions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:222, n:1-2, pp:181-186 [Journal]
    
11. Loïc Colson, Daniel Fredholm
    System T, Call-by-Value and the Minimum Problem. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:206, n:1-2, pp:301-315 [Journal]