Grundlagen, Entwicklung und Kombination von Techniken zur Semantik und Abarbeitung erweiterter disjunktiver Programme (DisLoP)
Laufzeit: 01.07.1995 - 31.07.2000
Partner: Univ. of Calif. at Riverside, Dep. of Comp. Sc., (Prof. T. Przymusinski); Univ. of Pittsburgh (Prof. S. Brass); Techn. Univ. Wien, Institut für Informationssysteme (Prof. G. Gottlob)
Förderung durch: DFG (Normalverfahren)