Data structures and algorithms for automated deduction with equality
- Rivero Almeida, José Miguel
- Robert Nieuwenhuis Director
Defence university: Universitat Politècnica de Catalunya (UPC)
Fecha de defensa: 03 July 2000
- Fernando Orejas Valdés Chair
- Alberto Rubio Gimeno Secretary
- Andrei Voronkov Committee member
- Christopher Weidenbach Committee member
- Francisco López Fraguas Committee member
Type: Thesis