Sciweavers

MSCS
2008
93views more  MSCS 2008»
13 years 11 months ago
Comparative uncertainty: theory and automation
Andrea Capotorti, Andrea Formisano
MSCS
2006
59views more  MSCS 2006»
13 years 11 months ago
Transition systems, link graphs and Petri nets
James J. Leifer, Robin Milner
MSCS
2006
97views more  MSCS 2006»
13 years 11 months ago
An extremely sharp phase transition threshold for the slow growing hierarchy
We investigate natural systems of fundamental sequences for ordinals below the Howard Bachmann ordinal and study growth rates of the resulting slow growing hierarchies. We consider...
Andreas Weiermann
MSCS
2006
85views more  MSCS 2006»
13 years 11 months ago
On sequential functionals of type 3
We show that the extensional ordering of the sequential functionals of pure type 3, e.g. as defined via game semantics [2, 4], is not cpo-enriched. ws that this model does not equ...
Dag Normann
MSCS
2006
93views more  MSCS 2006»
13 years 11 months ago
Uniform regular enumerations
Abstract. In the paper we introduce and study the uniform regular enumerations for arbitrary recursive ordinals. As an application of the technique we obtain a uniform generalizati...
Ivan N. Soskov, Bogomil Kovachev
MSCS
2006
100views more  MSCS 2006»
13 years 11 months ago
Modified bar recursion
Modified bar recursion has been used to give a realizability interpretation of the classical axioms of countable and dependent choice. In this paper we survey the main results con...
Ulrich Berger, Paulo Oliva
MSCS
2006
80views more  MSCS 2006»
13 years 11 months ago
Denotational semantics for a program logic of objects
Bernhard Reus, Jan Schwinghammer
MSCS
2006
106views more  MSCS 2006»
13 years 11 months ago
LQP: the dynamic logic of quantum information
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
Alexandru Baltag, Sonja Smets
MSCS
2006
93views more  MSCS 2006»
13 years 11 months ago
A Cartesian closed extension of the category of locales
We present a Cartesian closed category ELoc of equilocales, which contains the category Loc of locales as a reflective full subcategory. The embedding of Loc into ELoc preserves p...
Reinhold Heckmann