4850 search results - page 831 / 970 » Proof and Computation in Geometry |
180
click to vote
APLAS
2004
ACM
15 years 12 months ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas eļ¬ciently. The design choices however eļ...
166
click to vote
COCO
2004
Springer
15 years 12 months ago
2004
Springer
Entanglement is an essential resource for quantum communication and quantum computation, similar to shared random bits in the classical world. Entanglement distillation extracts n...
195
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
169
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
We present decidability results for the veriļ¬cation of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
169
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Treļ¬er4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...