Sciweavers

1730 search results - page 67 / 346
» Algebra and Computation
Sort
View
77
Voted
FOSSACS
2005
Springer
15 years 6 months ago
Free-Algebra Models for the pi-Calculus
Ian Stark
54
Voted
ICCS
2005
Springer
15 years 6 months ago
An Algebraic Method for Analyzing Open-Loop Dynamic Systems
Wenqin Zhou, David J. Jeffrey, Gregory J. Reid
78
Voted
MFCS
2004
Springer
15 years 6 months ago
Algebraic Recognizability of Languages
Pascal Weil
63
Voted
ICALP
2003
Springer
15 years 5 months ago
Polarized Process Algebra and Program Equivalence
Jan A. Bergstra, Inge Bethke