1209 search results - page 6 / 242 » Universal Algebra and Computer Science |
FOCS
1996
IEEE
15 years 7 months ago
1996
IEEE
144
click to vote
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
122
click to vote
SIGCSE
2010
ACM
15 years 10 months ago
2010
ACM
This paper examines the current status of professional computing education for undergraduate majors and fundamental computer education for non-majors in China. We describe the evo...
125
click to vote
SOFSEM
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Since its very beginning, linear algebra is a highly algorithmic subject. Let us just mention the famous Gau
MFCS
1989
Springer
15 years 7 months ago
1989
Springer
