4 search results - page 1 / 1 » A Brief Introduction to Algebraic Set Theory |
70
Voted
BSL
2008
15 years 22 days ago
2008
112
click to vote
JSI
1998
15 years 8 days ago
1998
Abstract. Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object...
FCS
2006
15 years 2 months ago
2006
: Many of the Internet's problems are related to names. There are many empirical ideas of the further development of naming on the Internet. However, there are no theoretical ...
132
Voted
MCMASTER
1993
15 years 4 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...