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
[2]
Hilfe
Suche: Author="Clausen, Christian"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A characterization of Moessner's sieve
Christian Clausen
,
Olivier Danvy
,
Moe Masuko
Theoretical Computer Science
546
, 2014, pp. 244-256
Adequacy for a lazy functional language with recursive and polymorphic types
Bettina Blaaberg
,
Christian Clausen
Theoretical Computer Science
136
(1), 1994, pp. 243-275
Bisimulation, games, and logic
Mogens Nielsen
,
Christian Clausen
Proceedings of the Colloquium in Honor of Arto Salomaa. Results and Trends in Theoretical Computer Science (Graz, Austria, June 10-11, 1994)
LNCS 812
, 1994, pp. 289-306
Bisimulation for models in concurrency
Mogens Nielsen
,
Christian Clausen
Lecture Notes in Computer Science
836
, 1994, pp. 385-400