Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Steffen van Bakel
Normalization Results for Typeable Rewrite Systems
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Related publications
Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Graph Rewrite Systems for Program Optimization
ACM Transactions on Programming Languages and Systems
Software
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
Transformations of Conditional Rewrite Systems Revisited
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Normalization of Showjumping Competition’s Results
Annals of Animal Science
Animal Science
Zoology
Food Animals
Small Animals
When Are Two Rewrite Systems More Than None?
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Results of Hyperspectral Analysis for the Characterization of Mudwall. Comparison Based on Normalization
ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
