Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Uwe Assmann
Graph Rewrite Systems for Program Optimization
ACM Transactions on Programming Languages and Systems
Software
Related publications
Normalization Results for Typeable Rewrite Systems
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Narrowing Strategies for Arbitrary Canonical Rewrite Systems
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Recognizability of Redexes for Higher-Order Rewrite Systems
IPSJ Online Transactions
The Program Dependence Graph and Its Use in Optimization
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Transformations of Conditional Rewrite Systems Revisited
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
When Are Two Rewrite Systems More Than None?
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Metric-Constrained Optimization for Graph Clustering Algorithms
SIAM Journal on Mathematics of Data Science
Using Treaps for Optimization of Graph Storage
International Journal of Computer Applications
