Sciweavers

108 search results - page 5 / 22
» iandc 2006
Sort
View
IANDC
2002
47views more  IANDC 2002»
14 years 11 months ago
Type Destructors
Martin Hofmann, Benjamin C. Pierce
IANDC
2002
54views more  IANDC 2002»
14 years 11 months ago
Prelogical Relations
Furio Honsell, Donald Sannella
IANDC
2002
107views more  IANDC 2002»
14 years 11 months ago
Simulation Preorder over Simple Process Algebras
Antonín Kucera, Richard Mayr