The following pages link to P. J. Martin (Q167073):
Displaying 8 items.
- (Q1863820) (redirect page) (← links)
- Simultaneous rigid sorted unification for tableaux (Q1863821) (← links)
- (Q2721204) (← links)
- Free-variable tableaux for monotonic preorders (Q3147362) (← links)
- (Q3838814) (← links)
- (Q4536326) (← links)
- Tableau methods for a logic with term declarations (Q5927986) (← links)
- Reasoning with preorders and dynamic sorts using free variable tableaux (Q6560387) (← links)