Pages that link to "Item:Q5387883"

The following pages link to Inductive Decidability Using Implicit Induction (Q5387883):

Displaying 2 items.

• Deciding the Inductive Validity of ∀ ∃ * Queries (Q3644758) (← links)
• On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs (Q5200103) (← links)