Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Dal Lago, Ugo"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Light logics and optimal reduction: Completeness and complexity
Patrick Baillot
,
Paolo Coppola
,
Ugo Dal Lago
Information and Computation
209
(2), 2011, pp. 118-142
Realizability models and implicit complexity
Ugo Dal Lago
,
Martin Hofmann
Theoretical Computer Science
412
(20), 2011, pp. 2029-2047
Quantum implicit computational complexity
Ugo Dal Lago
,
Andrea Masini
,
Margherita Zorzi
Theoretical Computer Science
411
(2), 2010, pp. 377-409
On constructor rewrite systems and the lambda-calculus
Ugo Dal Lago
,
Simone Martini
Lecture Notes in Computer Science
5556
, 2009, pp. 163-174
The weak lambda calculus as a reasonable machine
Ugo Dal Lago
,
Simone Martini
Theoretical Computer Science
398
(1-3), 2008, pp. 32-50
Compact and tractable automaton-based representations of time granularities
Ugo Dal Lago
,
Angelo Montanari
,
Gabriele Puppis
Theoretical Computer Science
373
(1-2), 2007, pp. 115-141
Quantitative models and implicit complexity
Ugo Dal Lago
,
Martin Hofmann
Lecture Notes in Computer Science
3821
, 2005, pp. 189-200
Phase semantics and decidability of elementary affine logic
Ugo Dal Lago
,
Simone Martini
Theoretical Computer Science
318
(3), 2004, pp. 409-433