1916 search results - page 12 / 384 » Reasoning with class algebra |
DIAGRAMS
2010
Springer
14 years 1 months ago
2010
Springer
Papers on diagrammatic reasoning often begin by dividing marks on paper into two basic classes: diagrams and sentences. While endorsing the perspective that a reasoning episode can...
ENTCS
2010
13 years 10 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
EUROCRYPT
2006
Springer
14 years 1 months ago
2006
Springer
In this paper we propose several efficient algorithms for assessing the resistance of Boolean functions against algebraic and fast algebraic attacks when implemented in LFSRbased s...
CSL
2005
Springer
14 years 3 months ago
2005
Springer
AAECC
1997
Springer
14 years 2 months ago
1997
Springer
Based on the notion of an order function we construct and determine the parameters of a class of error-correcting evaluation codes. This class includes the one-point algebraic geo...