Travelled to:1 × Australia
1 × Italy
Collaborated with:R.Nieuwenhuis M.Á.Vallejo
Talks about:constraint (1) algorithm (1) structur (1) kernel (1) deduct (1) order (1) equal (1) dedan (1) claus (1) autom (1)
Person: José Miguel Rivero
DBLP: Rivero:Jos=eacute=_Miguel
Contributed to:
1999
1997Wrote 2 papers:
- RTA-1999-NieuwenhuisR #constraints #order
- Solved Forms for Path Ordering Constraints (RN, JMR), pp. 1–15.
- CADE-1997-NieuwenhuisRV #algorithm #automation #data type #deduction #kernel #named #similarity
- Dedan: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses (RN, JMR, MÁV), pp. 49–52.