3624 search results - page 93 / 725 » Abstract Algebraic Logic |
132
click to vote
BPSC
2009
15 years 5 months ago
2009
Process modelling systems are complex and difficult to compare. A key attribute of any process modelling formalism or tool is time which involves how it handles and represents tem...
104
click to vote
FAC
2008
15 years 4 months ago
2008
Substitution is fundamental to the theory of logic and computation. Is substitution something that we define on syntax on a case-by-case basis, or can we turn the idea of substitut...
144
click to vote
ENTCS
2006
15 years 4 months ago
2006
We refine our algebraic axiomatization in [8,9] of epistemic actions and epistemic update (notions defined in [5,6] using Kripke-style semantics), to incorporate a mechanism for d...
105
click to vote
AAECC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We describe some constructions of orthonormal lattices in totally real subfields of cyclotomic fields, obtained by endowing their ring of integers with a trace form. We...
133
click to vote
WCC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The recently developed algebraic attacks apply to all keystream generators whose internal state is updated by a linear transition function, including LFSR-based generator...