3229 search results - page 103 / 646 » Theories with the Independence Property |
APAL
2006
13 years 11 months ago
2006
We prove a number of consistency results complementary to the ZFC results from our paper [4]. We produce examples of non-tightly stationary mutually stationary sequences, sequences...
DCG
2006
13 years 11 months ago
2006
This paper gives n-dimensional analogues of the Apollonian circle packings in Parts I and II. Those papers considered circle packings described in terms of their Descartes configur...
IPL
2008
13 years 11 months ago
2008
Slicing is a program transformation technique with numerous applications, as it allows the user to focus on the parts of a program that are relevant for a given purpose. Ideally, ...
SLOGICA
2008
13 years 11 months ago
2008
We study the proof-theoretic relationship between two deductive systems for the modal mu-calculus. First we recall an infinitary system which contains an omega rule allowing to de...
ICSE
2009
IEEE-ACM
13 years 9 months ago
2009
IEEE-ACM
Modern software systems should be more and more designed with adaptation and run-time evolution in mind. But even with good reactions to changes, the triggered adaptation should b...