Uffe Engberg
发表
Mogens Nielsen,
Uffe Engberg,
2002,
Lecture Notes in Computer Science.
Mogens Nielsen,
Uffe Engberg,
2002
.
Glynn Winskel,
Uffe Engberg,
G. Winskel,
1990,
CAAP.
Glynn Winskel,
Uffe Engberg,
G. Winskel,
1993,
REX School/Symposium.
Kim S. Larsen,
Uffe Engberg,
1995,
TACAS.
Glynn Winskel,
Uffe Engberg,
1990
.
Mogens Nielsen,
Uffe Engberg,
Etaps,
2002
.
Luca Aceto,
Uffe Engberg,
L. Aceto,
1991,
FSTTCS.
Glynn Winskel,
Uffe Engberg,
1997,
Ann. Pure Appl. Log..
Kim S. Larsen,
Mogens Nielsen,
Uffe Engberg,
1988,
REX Workshop.
Uffe Engberg,
Uffe Engberg,
1990
.
Glynn Winskel,
Uffe Engberg,
G. Winskel,
1993,
Ann. Pure Appl. Log..
Mogens Nielsen,
Uffe Engberg,
2000,
Proof, Language, and Interaction.
Glynn Winskel,
Mogens Nielsen,
Uffe Engberg,
1992
.
Glynn Winskel,
Uffe Engberg,
1994
.
Glynn Winskel,
Uffe Engberg,
1993
.