Sciweavers

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