2432 search results - page 151 / 487 » Cryptographic logical relations |
121
Voted
IICS
2004
Springer
15 years 6 months ago
2004
Springer
Facing the retrieval problem according to the overwhelming set of documents online the adaptation of text categorization to web units has recently been pushed. The aim is to utiliz...
121
Voted
FROCOS
2000
Springer
15 years 4 months ago
2000
Springer
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
98
Voted
JUCS
2008
15 years 21 days ago
2008
: Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classi...
106
Voted
JUCS
2007
15 years 19 days ago
2007
: Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classi...
106
Voted
FORMATS
2005
Springer
15 years 6 months ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...