Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Daniel Briaud
An Explicit Eta Rewrite Rule
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Eta-Conversion for the Languages of Explicit Substitutions
Applicable Algebra in Engineering, Communications and Computing
Applied Mathematics
Number Theory
Algebra
Eta-Conversion for the Languages of Explicit Substitutions
Applicable Algebra in Engineering, Communications and Computing
Applied Mathematics
Number Theory
Algebra
An Explicit Theory of Heights
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Normalization Results for Typeable Rewrite Systems
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Rewriting Strategies and Strategic Rewrite Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Rewrite Engines Competitions: A RECtrospective
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proving Safety Properties of Rewrite Theories
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
Graph Rewrite Systems for Program Optimization
ACM Transactions on Programming Languages and Systems
Software
