Pages that link to "Item:Q5210769"
From MaRDI portal
The following pages link to On notions of inductive validity for first-order equational clauses (Q5210769):
Displaying 5 items.
- Induction using term orders (Q1915132) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- Deciding the Inductive Validity of ∀ ∃ * Queries (Q3644758) (← links)
- Induction using term orderings (Q5210765) (← links)
- A general framework to build contextual cover set induction provers (Q5950934) (← links)