1188 search results - page 8 / 238 » Generating Connectives |
FASE
2009
Springer
15 years 4 months ago
2009
Springer
Security automata are a convenient way to describe security policies. Their typical use is to monitor the execution of an application, and to interrupt it as soon as the security p...
ESANN
2008
14 years 11 months ago
2008
With the technical development of multi-electrode arrays, the monitoring of many individual neurons has become feasible. However, for practical use of those arrays as bidirectional...
107
click to vote
CADE
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...
MDM
2005
Springer
15 years 3 months ago
2005
Springer
Synchronization performance is a major problem with intermittently connected mobile databases. A server periodically generates update files for each client, which are downloaded ...
LOPSTR
1995
Springer
15 years 1 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...