Sciweavers

2853 search results - page 94 / 571
» On Coherence in Computer Algebra
Sort
View
66
Voted
CIE
2006
Springer
15 years 4 months ago
A Subrecursive Refinement of the Fundamental Theorem of Algebra
Peter Peshev, Dimiter Skordev
59
Voted
CIE
2006
Springer
15 years 4 months ago
An Introduction to Program and Thread Algebra
Alban Ponse, Mark van der Zwaag
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