709 search results - page 54 / 142 » An Equational Theory for Transactions |
115
click to vote
ICISC
2007
15 years 2 months ago
2007
We analyse the security of new hash functions whose compression function is explicitly defined as a sequence of multivariate equations. First we prove non-universality of certain ...
136
click to vote
DLT
2003
15 years 2 months ago
2003
A new generalization of context-free grammars is introduced: Boolean grammars allow the use of all set-theoretic operations as an integral part of the formalism of rules. Rigorous...
128
click to vote
ORL
2008
15 years 1 months ago
2008
A central result in the theory of integer optimization states that a system of linear diophantine equations Ax = b has no integral solution if and only if there exists a vector in...
111
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
We consider a mild extension of universal algebra in which terms are built both from deterministic and probabilistic variables, and are interpreted as distributions. We formulate a...
106
Voted
RTA
2010
Springer
15 years 5 months ago
2010
Springer
Rewriting systems on words are very useful in the study of monoids. In good cases, they give finite presentations of the monoids, allowing their manipulation by a computer. Even b...