23201 search results - page 82 / 4641 » Rewriting Systems with Data |
132
click to vote
CRYPTO
2004
Springer
15 years 10 months ago
2004
Springer
Recently proposed algebraic attacks [2, 6] and fast algebraic attacks [1, 5] have provided the best analyses against some deployed LFSR-based ciphers. The process complexity is exp...
121
click to vote
ACS
2007
15 years 5 months ago
2007
We present various results of the last twenty years converging towards a homotopical theory of computation. This new theory is based on two crucial notions : polygraphs (introduce...
140
click to vote
ISMVL
2010
IEEE
15 years 10 months ago
2010
IEEE
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
141
click to vote
FQAS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Research in Cooperative Query answering is triggered by the observation that users are often not able to correctly formulate queries to databases that return the intended...
158
click to vote
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...