1209 search results - page 9 / 242 » Universal Algebra and Computer Science |
ISSAC
1994
Springer
14 years 20 days ago
1994
Springer
An example of a problem in the physical sciences is discussed where application of various symbolic computation facilities available in many algebraic computing systems leads to a...
ACM
1993
14 years 21 days ago
1993
ional Frameworks: Toolkits and Abstractions In Introductory Computer Science Cynthia Brown, Harriet Fell, Viera Proulx, Richard Rasala College of Computer Science, Northeastern Uni...
TCS
2008
13 years 8 months ago
2008
These are notes for a lecture given at Ohio University on June 3, 2006. An important topic in commutative algebra is the Rees algebra of an ideal in a commutative ring. The Rees al...
ITICSE
2006
ACM
14 years 2 months ago
2006
ACM
When you sit in a Computer Science lecture at any university in the western world, what are the chances that the person sitting next to you will be a woman? Furthermore, what are ...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...