3624 search results - page 29 / 725 » Abstract Algebraic Logic |
IPPS
2010
IEEE
14 years 12 months ago
2010
IEEE
119
click to vote
ENTCS
2010
14 years 11 months ago
2010
We propose an algebra of languages and transformations as a means for extending s syntactically. The algebra provides a layer of high-level abstractions built on top of languages ...
111
click to vote
FM
2001
Springer
15 years 6 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
MFCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A famous lower bound for the bilinear complexity of the multiplication in associative algebras is the Alder–Strassen bound. Algebras for which this bound is tight are c...
146
click to vote
ICDT
2009
ACM
15 years 8 months ago
2009
ACM
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...