Search the dblp DataBase

Publications of Author

1. Clemens Grabmayer
   Using Proofs by Coinduction to Find "Traditional" Proofs. [Citation Graph (0, 0)][DBLP]
   CALCO, 2005, pp:175-193 [Conf]
   
2. Clemens Grabmayer, Jan Willem Klop, Bas Luttik
   Some Remarks on Definability of Process Graphs. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2006, pp:16-36 [Conf]
   
3. Clemens Grabmayer, Jan Willem Klop, Bas Luttik
   Reflections on a Geometry of Processes. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:183-190 [Journal]
   
4. Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer
   A characterization of regular expressions under bisimulation. [Citation Graph (0, 0)][DBLP]
   J. ACM, 2007, v:54, n:2, pp:- [Journal]
   
5. Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop
   Productivity of Stream Definitions. [Citation Graph (0, 0)][DBLP]
   FCT, 2007, pp:274-287 [Conf]
   
6. 
   Complexity of Fractran and Productivity. [Citation Graph (, )][DBLP]
   
   
7. 
   Data-Oblivious Stream Productivity. [Citation Graph (, )][DBLP]
   
   
8. 
   Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting. [Citation Graph (, )][DBLP]
   
   
9. 
   Proving Infinitary Normalization. [Citation Graph (, )][DBLP]
   
   
10. 
    Data-Oblivious Stream Productivity [Citation Graph (, )][DBLP]
    
    
11. 
    Complexity of Fractran and Productivity [Citation Graph (, )][DBLP]
    
    
12. 
    Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting [Citation Graph (, )][DBLP]
    
    
13. 
    From Abstract Rewriting Systems to Abstract Proof Systems [Citation Graph (, )][DBLP]
    
    
14. 
    A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs. [Citation Graph (, )][DBLP]