1209 search results - page 112 / 242 » Universal Algebra and Computer Science |
112
click to vote
PODC
2009
ACM
16 years 3 months ago
2009
ACM
d Abstract] Prosenjit Bose School of Computer Science Carleton University Ottawa, Canada jit@scs.carleton.ca Paz Carmi Dept. of Computer Science Ben-Gurion Univ. of the Negev Beer-...
141
click to vote
CAD
1999
Springer
15 years 2 months ago
1999
Springer
This paper is concerned with the mathematics and formal specification of "set-like" operations for the mixed dimension cellular objects of the Djinn Application Programm...
105
click to vote
ITICSE
2010
ACM
15 years 8 months ago
2010
ACM
We present a pilot for a student consultancy service offering students the opportunity to work with internal and external clients on real life projects to learn and enhance trans...
FOCS
1992
IEEE
15 years 7 months ago
1992
IEEE
Partial types for the -calculus were introduced by Thatte in 1988 [3] as a means of typing objects that are not typable with simple types, such as heterogeneous lists and persiste...
134
click to vote
STOC
2006
ACM
16 years 3 months ago
2006
ACM
In this paper we consider bounded real-valued functions over the discrete cube, f : {-1, 1}n [-1, 1]. Such functions arise naturally in theoretical computer science, combinatorics...