Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by José Iborra
Reducing Relative Termination to Dependency Pair Problems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Harnessing First Order Termination Provers Using Higher Order Dependency Pairs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Derivational Complexity Induced by the Dependency Pair Method
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Dependency-Based Relative Positional Encoding for Transformer NMT
Existential Dependency: Holes, Flaws and Problems
LSA Annual Meeting Extended Abstracts
Confluence of Non-Left-Linear TRSs via Relative Termination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Relative Undecidability in the Termination Hierarchy of Single Rewrite Rules
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Error Bounds and Finite Termination for Constrained Optimization Problems
Mathematical Problems in Engineering
Mathematics
Engineering
The Relative Complexity of NP Search Problems
Reducing Workplace Burnout: The Relative Benefits of Cardiovascular and Resistance Exercise
