3624 search results - page 109 / 725 » Abstract Algebraic Logic |
149
click to vote
ISSAC
1998
Springer
15 years 8 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
167
click to vote
CRYPTO
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We introduce algebraic geometric techniques in secret sharing and in secure multi-party computation (MPC) in particular. The main result is a linear secret sharing scheme...
119
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual t...
113
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In previous work, we showed the importance of distinguishing "I know that X = Y " from "I don't know that X = Y ". In this paper we look at effec...
133
click to vote
AML
2006
15 years 4 months ago
2006
Abstract. The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable;...