1071 search results - page 53 / 215 » The Calculus of Algebraic Constructions |
102
click to vote
IJAC
2007
15 years 6 months ago
2007
A base of the free alternative superalgebra on one odd generator is constructed. As a corollary, a base of the alternative Grassmann algebra is given. We also find a new element ...
139
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
The relational algebra and calculus do not take the semantics of terms into account when answering queries. As a consequence, not all tuples that should be returned in response to ...
180
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
178
click to vote
EUROCRYPT
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. The goal of this paper is to further study the index calculus method that was first introduced by Semaev for solving the ECDLP and later developed by Gaudry and Diem. In...
212
click to vote
ACS
2008
15 years 6 months ago
2008
Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and ...