Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alexander Bockmayr
Narrowing Strategies for Arbitrary Canonical Rewrite Systems
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Geometric Constraints for the Phase Problem in X-Ray Crystallography
Related publications
Normalization Results for Typeable Rewrite Systems
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Graph Rewrite Systems for Program Optimization
ACM Transactions on Programming Languages and Systems
Software
Rewriting Strategies and Strategic Rewrite Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Recognizability of Redexes for Higher-Order Rewrite Systems
IPSJ Online Transactions
On Narrowing Strategies for Partial Non-Strict Functions
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
Gain Narrowing in Few-Atom Systems
Physical Review Letters
Astronomy
Physics
When Are Two Rewrite Systems More Than None?
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science