Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jakob Grue Simonsen
On the Modularity of Confluence in Infinitary Term Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Infinitary Combinatory Reduction Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Modularity of Convergence and Strong Convergence in Infinitary Rewriting
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Confluence of Curried Term-Rewriting Systems
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Critical Pairs in Term Graph Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Foreword: Special Issue on Term and Graph Rewriting
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Transfinite Reductions in Orthogonal Term Rewriting Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Program Transformation Templates for Tupling Based on Term Rewriting
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Context Term Calculus for Rewriting Systems
PROBLEMS IN PROGRAMMING
Implementing Visualization of Term Rewriting Computation in Standard ML
IEEJ Transactions on Electronics, Information and Systems
Electronic Engineering
Electrical
