Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen [1] Hilfe Hilfe
 
Suche: Author="Herlihy, Brian"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Un-Kleene Boolean equation solving Publikation auswählen
Brian Herlihy, Peter Schachte, Harald Sndergaard

International Journal of Foundations of Computer Science 18 (2), 2007, pp. 227-250

Editors  Oscar H. Ibarra
Publisher:  World Scientific Publishing Co.
Address:  New Jersey-London-Singapore-Beijing-Shanghai-Hong Kong-Taipei-Chennai
 
URL:   http://dx.doi.org/10.1142/S0129054107004668