Data structures and algorithms for automated deduction with equality

  1. Rivero Almeida, José Miguel
Supervised by:
  1. Robert Nieuwenhuis Director

Defence university: Universitat Politècnica de Catalunya (UPC)

Fecha de defensa: 03 July 2000

Committee:
  1. Fernando Orejas Valdés Chair
  2. Alberto Rubio Gimeno Secretary
  3. Andrei Voronkov Committee member
  4. Christopher Weidenbach Committee member
  5. Francisco López Fraguas Committee member

Type: Thesis

Teseo: 78965 DIALNET