Search the dblp DataBase

Publications of Author

1. Jeroen Ketema, Jakob Grue Simonsen
   On Confluence of Infinitary Combinatory Reduction Systems. [Citation Graph (0, 0)][DBLP]
   LPAR, 2005, pp:199-214 [Conf]
   
2. Jakob Grue Simonsen
   On Beta-Shifts Having Arithmetical Languages. [Citation Graph (0, 0)][DBLP]
   MFCS, 2005, pp:757-768 [Conf]
   
3. Jeroen Ketema, Jakob Grue Simonsen
   Infinitary Combinatory Reduction Systems. [Citation Graph (0, 0)][DBLP]
   RTA, 2005, pp:438-452 [Conf]
   
4. Jakob Grue Simonsen
   On the Modularity of Confluence in Infinitary Term Rewriting. [Citation Graph (0, 0)][DBLP]
   RTA, 2004, pp:185-199 [Conf]
   
5. Jakob Grue Simonsen
   On modularity in infinitary term rewriting. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2006, v:204, n:6, pp:957-988 [Journal]
   
6. Jakob Grue Simonsen
   On confluence and residuals in Cauchy convergent transfinite rewriting. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 2004, v:91, n:3, pp:141-146 [Journal]
   
7. Jakob Grue Simonsen
   Specker sequences revisited. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2005, v:51, n:5, pp:532-540 [Journal]
   
8. Jakob Grue Simonsen
   On local non-compactness in recursive mathematics. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2006, v:52, n:4, pp:323-330 [Journal]
   
9. Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen
   Compositional specification of commercial contracts. [Citation Graph (0, 0)][DBLP]
   STTT, 2006, v:8, n:6, pp:485-516 [Journal]
   
10. Jakob Grue Simonsen
    On the Computability of the Topological Entropy of Subshifts. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics & Theoretical Computer Science, 2006, v:8, n:1, pp:83-96 [Journal]
    
11. 
    Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and lambda-Calculus. [Citation Graph (, )][DBLP]
    
    
12. 
    Compositional Specification of Commercial Contracts. [Citation Graph (, )][DBLP]
    
    
13. 
    The -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity). [Citation Graph (, )][DBLP]
    
    
14. 
    Weak Convergence and Uniform Normalization in Infinitary Rewriting. [Citation Graph (, )][DBLP]
    
    
15. 
    Higher-Order (Non-)Modularity . [Citation Graph (, )][DBLP]
    
    
16. 
    LAIR: A Language for Automated Semantics-Aware Text Sanitization Based on Frame Semantics. [Citation Graph (, )][DBLP]
    
    
17. 
    Infinitary Combinatory Reduction Systems: Confluence [Citation Graph (, )][DBLP]
    
    
18. 
    Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies [Citation Graph (, )][DBLP]