Pages that link to "Item:Q5705932"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705932):
Displaying 6 items.
- Termination of Narrowing Using Dependency Pairs (Q5504664) (← links)
- Search Techniques for Rational Polynomial Orders (Q5505493) (← links)
- Monotonicity Criteria for Polynomial Interpretations over the Naturals (Q5747787) (← links)
- A static higher-order dependency pair framework (Q6070806) (← links)
- Proving confluence in the confluence framework with confident (Q6622001) (← links)
- On basic feasible functionals and the interpretation method (Q6629518) (← links)