1209 search results - page 6 / 242 » Universal Algebra and Computer Science |
FOCS
1996
IEEE
14 years 23 days ago
1996
IEEE
AMAST
2006
Springer
14 years 10 days 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...
SIGCSE
2010
ACM
14 years 3 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...
SOFSEM
2000
Springer
14 years 4 days 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
14 years 19 days ago
1989
Springer
