16 search results - page 1 / 4 » Adding Skolem functions to simple theories |
99
Voted
AML
2004
15 years 28 days ago
2004
We examine the conditions under which we can keep simplicity or categoricity after adding a Skolem function to the theory. AMS classification: 03C45 , 03C50
110
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus ...
124
Voted
WIOPT
2010
IEEE
14 years 11 months ago
2010
IEEE
—Opportunistic forwarding is a simple scheme for packet routing in ad hoc wireless networks such as duty cycling sensor networks in which reducing energy consumption is a princip...
109
Voted
JSAC
2006
15 years 1 months ago
2006
We focus on detecting intrusions in ad hoc networks using the misuse detection technique. We allow for detection modules that periodically stop functioning due to operational failu...
104
click to vote
MPC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...