4352 search results - page 324 / 871 » A Representation Theorem and Applications |
168
click to vote
FROCOS
2005
Springer
16 years 1 months ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
180
Voted
TCC
2005
Springer
16 years 28 days ago
2005
Springer
The existing unconditional security definitions of quantum key distribution (QKD) do not apply to joint attacks over QKD and the subsequent use of the resulting key. In this paper...
224
click to vote
ALGOSENSORS
2004
Springer
16 years 26 days ago
2004
Springer
We conjecture that any planar 3-connected graph can be embedded in the plane in such a way that for any nodes s and t, there is a path from s to t such that the Euclidean distance ...
194
click to vote
CSL
2004
Springer
16 years 26 days ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
214
click to vote
PADL
2004
Springer
16 years 25 days ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...