A completion of the S-invariance technique by means of fixed point algorithms
Koblenz-Landau: Univ., Inst. f. Informatik 1995 43 S. (Fachberichte Informatik ; 10/95)
Erscheinungsjahr: 1995
Publikationstyp: Buch
Sprache: Englisch
Geprüft | Bibliothek |
Autoren
Lautenbach, Kurt (Autor)
Ridder, Hanno (Autor)