3624 search results - page 164 / 725 » Abstract Algebraic Logic |
121
click to vote
EUROCRYPT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we show that the Ate pairing, originally defined for elliptic curves, generalises to hyperelliptic curves and in fact to arbitrary algebraic curves. It has...
138
click to vote
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
146
click to vote
ICALP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We prove a new congruence result for the π-calculus: bisimilarity is a congruence in the sub-calculus that does not include restriction nor sum, and features top-level r...
127
click to vote
AMAST
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...
117
click to vote
EUROPAR
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. We present a relational algebra based framework for compiling e cient sparse matrix code from dense DO-ANY loops and a speci cation of the representation of the sparse ma...