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="Sabel, David"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Observational program calculi and the correctness of translations
Manfred Schmidt-Schauß
,
David Sabel
,
Joachim Niehren
,
Jan Schwinghammer
Theoretical Computer Science
577
, 2015, pp. 98-124
Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec
Manfred Schmidt-Schauß
,
David Sabel
,
Elena Machkasova
Information Processing Letters
111
(14), 2011, pp. 711-716
Closures of may-, should- and must-convergences for contextual equivalence
Manfred Schmidt-Schauß
,
David Sabel
Information Processing Letters
110
(6), 2010, pp. 232-235
On generic context lemmas for higher-order calculi with sharing
Manfred Schmidt-Schauß
,
David Sabel
Theoretical Computer Science
411
(11-13), 2010, pp. 1521-1541