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: Journal=Inf.~Comput. AND Volume=193
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Strong normalization of the second-order symmetric
\lambda\mu
-calculus
Yoriyuki Yamagata
Information and Computation
193
(1), 2004, pp. 1-20
(Optimal) duplication is not elementary recursive
Andrea Asperti
,
Paolo Coppola
,
Simone Martini
Information and Computation
193
(1), 2004, pp. 21-56
On learning monotone DNF under product distributions
Rocco A. Servedio
Information and Computation
193
(1), 2004, pp. 57-74
Dynamic nested brackets
Stephen Alstrup
,
Thore Husfeldt
,
Theis Rauhe
Information and Computation
193
(2), 2004, pp. 75-83
Finite-tree analysis for constraint logic-based languages
Roberto Bagnara
,
Roberta Gori
,
Patricia M. Hill
,
Enea Zaffanella
Information and Computation
193
(2), 2004, pp. 84-116
The synthesis of Petri nets from path-automatic specifications
E. Badouel
,
Ph. Darondeau
Information and Computation
193
(2), 2004, pp. 117-135