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

Lehrstuhl für Effiziente Algorithmen

 TUM-Logo

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Citkey="Geuvers-Loeb/06"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

From deduction graphs to proof nets: Boxes and sharing in the graphical presentation of deductions Publikation auswählen
Herman Geuvers, Iris Loeb

Proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS'2006 (Stará Lesná, Slovakia, August 28 - September 1, 2006)
Lecture Notes in Computer Science 4162 , 2006, pp. 39-57

Editors  Rastislav Královic̑, Paweƚ Urzyczyn
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg
 
URL:   http://dx.doi.org/10.1007/11821069_4