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="Dehlinger, Christophe"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Formalizing generalized maps in Coq
Christophe Dehlinger
,
Jean-François Dufourd
Theoretical Computer Science
323
(1-3), 2004, pp. 351-397
Formalizing the trading theorem in Coq
Christophe Dehlinger
,
Jean-François Dufourd
Theoretical Computer Science
323
(1-3), 2004, pp. 399-442