2540 search results - page 90 / 508 » Abstract Logics as Dialgebras |
133
click to vote
WOLLIC
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
170
click to vote
CALCO
2005
Springer
15 years 12 months ago
2005
Springer
We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibeh, which captures formally and abstractly the intuitions of add...
174
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
152
click to vote
ITRUST
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Logic languages establish a formal framework to solve authorization and delegation conflicts. However, we consider that a visual representation is necessary since graphs...
158
click to vote
MLCW
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper describes Macquarie University’s Centre for Language Technology contribution to the PASCAL 2005 Recognizing Textual Entailment challenge. Our main aim was to...