3229 search results - page 166 / 646 » Theories with the Independence Property |
175
click to vote
IGPL
2002
15 years 6 months ago
2002
This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness an...
141
click to vote
LICS
2007
IEEE
16 years 22 days ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
147
click to vote
IROS
2006
IEEE
16 years 14 days ago
2006
IEEE
— We present a distributed controller for the center of mass of a modular robot. This is useful for locomotion of a modular robot over uneven and unknown terrain. By controlling ...
167
click to vote
CCR
2004
15 years 6 months ago
2004
To provide insight into Internet operation and performance, recent efforts have measured various aspects of the Internet, developing and improving measurement tools in the process....
170
click to vote
IANDC
2010
15 years 5 months ago
2010
We give two generic proofs for cut elimination in propositional modal logics, interpreted over coalgebras. We first investigate semantic coherence conditions between the axiomati...