288 search results - page 19 / 58 » Interactive Termination Proofs Using Termination Cores |
139
click to vote
WSC
2008
15 years 8 months ago
2008
Interactions between synaptic vesicles and synapsin in a presynaptic nerve terminal were modeled using the CellDEVS formalism. Vesicles and synapsins move randomly within the pres...
137
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
141
click to vote
FC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Users are often forced to trust potentially malicious terminals when trying to interact with a remote secure system. This paper presents an approach for ensuring the inte...
181
click to vote
WOLLIC
2009
Springer
16 years 18 days ago
2009
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with exclusion, a connective dual to implication. Cut-elimination in biintuitionistic logic is complicated due to t...
173
click to vote
ENTCS
2002
15 years 5 months ago
2002
This paper defines reduction on derivations in the strict intersection type assignment system of [2], by generalising cut-elimination, and shows a strong normalisation result for ...