3353 search results - page 277 / 671 » Laver and set theory |
173
click to vote
TPHOL
2007
IEEE
16 years 27 days ago
2007
IEEE
Placing our result in a web of related mechanised results, we give a direct proof that the de Bruijn λ-calculus (`a la Huet, Nipkow and Shankar) is isomorphic to an α-quotiented ...
253
click to vote
ILC
2007
Springer
16 years 24 days ago
2007
Springer
Two-way alternating automata were introduced by Vardi in order to study the satisfiability problem for the modal µ-calculus extended with backwards modalities. In this paper, we ...
136
click to vote
SUM
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The paper presents a valued extension of the recently introduced concept of PQI interval order. The main idea is that, while comparing objects represented by interval of ...
165
click to vote
WG
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We present hardness results, approximation heuristics, and exact algorithms for bottleneck labeled optimization problems arising in the context of graph theory. This long...
199
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...