Sciweavers

40 search results - page 1 / 8
» icalp 2003
Sort
View
ICALP
2003
Springer
15 years 11 months ago
Generalized Rewrite Theories
Roberto Bruni, José Meseguer
111
Voted
ICALP
2003
Springer
15 years 11 months ago
Polarized Process Algebra and Program Equivalence
Jan A. Bergstra, Inge Bethke