1193 search results - page 53 / 239 » A primer of simple theories |
101
click to vote
CADE
2006
Springer
16 years 5 days 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 ...
140
click to vote
LORI
2009
Springer
15 years 6 months ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
LOCWEB
2009
ACM
15 years 6 months ago
2009
ACM
Microsoft has proposed an identity metasystem to standardize identity services and the principles behind them. A location metasystem can support interoperation between location se...
132
click to vote
MFCS
2005
Springer
15 years 5 months ago
2005
Springer
We study simple greedy approximation algorithms for general class of integer packing problems. We provide a novel analysis based on the duality theory of linear programming. This e...
QCQC
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We briefly review the development and theory of an experiment to investigate quantum computation with trapped calcium ions. The ion trap, laser and ion requirements are d...