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: Citkey="Bruni-Meseguer/03"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Generalized rewrite theories Publikation auswählen
Roberto Bruni, José Meseguer

Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)
Lecture Notes in Computer Science 2719 , 2003, pp. 252-266

Editors  Jos C.M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo
 
URL:   http://springerlink.metapress.com/openurl.asp?genre=article&id=J3TVUR4JLA3ADRTY