Logical definability of NP-optimisation problems with monadic auxiliary predicates
Mainz: Inst. für Informatik 1992 13 S. (Informatik-Bericht ; 1/92)
Erscheinungsjahr: 1992
Publikationstyp: Buch
Geprüft | Bibliothek |
Mainz: Inst. für Informatik 1992 13 S. (Informatik-Bericht ; 1/92)
Erscheinungsjahr: 1992
Publikationstyp: Buch
Geprüft | Bibliothek |