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 Hilfe Hilfe
 
Suche: Citkey="Ranzato-Tapparo/08"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Generalizing the Paige-Tarjan algorithm by abstract interpretation Publikation auswählen
Francesco Ranzato, Francesco Tapparo

Information and Computation 206 (5), 2008, pp. 620-651

Editors  Albert R. Meyer
Publisher:  Elsevier B.V.
Address:  Orlando-Amsterdam-Tokyo-Singapore
 
URL:   http://www.sciencedirect.com/science/article/B6WGK-4RSJDSM-2/2/d2d91bfb2781cb84c37fefe709972b56