Sciweavers

1730 search results - page 49 / 346
» Algebra and Computation
Sort
View
86
Voted
FCT
1995
Springer
15 years 4 months ago
Discrete Time Process Algebra with Abstraction
Jos C. M. Baeten, Jan A. Bergstra
138
Voted
HOA
1995
15 years 4 months ago
Higher-Order Algebra with Transfinite Types
L.J. Steggles
L. J. Steggles
62
Voted
ECEASST
2010
14 years 10 months ago
Algebraic Model Checking
Peter Padawitz