31387 search results - page 429 / 6278 » Abstracts |
134
click to vote
JSYML
2006
15 years 7 months ago
2006
Abstract. Let T be a positive L1-L contraction. We prove that the following statements are equivalent in constructive mathematics.
177
click to vote
SCN
2008
Springer
15 years 7 months ago
2008
Springer
ded abstract of this paper appeared in Proceedings of the 6th Conference on Security and Cryptography for Networks (SCN '08)
185
click to vote
SOSYM
2008
15 years 7 months ago
2008
The syntax of modeling languages is usually defined in two steps. The abstract syntax identifies modeling concepts whereas the concrete syntax clarifies how these modeling concepts...