| SciPort RLP

Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Disjunctive Completion Is Not "Optimal"

International Logic Programming Symposium (ILPS). 1997 S. 408

Erscheinungsjahr: 1997

Publikationstyp: Diverses

Autoren

Seidl, H. (Autor)

Fecht, C. (Autor)

Klassifikation

DFG Fachgebiet:
- ohne Zuordnung

DDC Sachgruppe:
Allgemeines, Wissenschaft

Verbundene Forschungsprojekte

Programmanalyse

Verknüpfte Personen

Helmut Seidl
Mitarbeiter/in
(Informatikwissenschaften)

Beteiligte Einrichtungen

Informatikwissenschaften
(Universität Trier)