Similar Items: The Derivational Complexity Induced by the Dependency Pair Method
- Dynamic Dependency Pairs for Algebraic Functional Systems
- Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
- On the First-Order Complexity of Induced Subgraph Isomorphism
- Mutually Dependent Markers in Clause Pairs
- MiniUn: A Machine Unlearning Method to Minimize Dependency on Original Training Data
- On the Succinctness of Atoms of Dependency