The following pages link to A. Gavilanes (Q167074):
Displayed 7 items.
- Simultaneous rigid sorted unification for tableaux (Q1863821) (← links)
- (Q2721204) (← links)
- Free-variable tableaux for monotonic preorders (Q3147362) (← links)
- (Q3838814) (← links)
- (Q4375634) (← links)
- (Q4536326) (← links)
- Tableau methods for a logic with term declarations (Q5927986) (← links)