3624 search results - page 309 / 725 » Abstract Algebraic Logic |
161
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
178
click to vote
FSE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We present a new stream cipher, Rabbit, based on iterating a set of coupled nonlinear functions. Rabbit is characterized by a high performance in software with a measured...
185
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
159
click to vote
KI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...
313
click to vote
ACMMPC
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. These notes deal with an interconnecting web of mathematical techniques all of which deserve a place in the armoury of the welleducated computer scientist. The objective ...