159 search results - page 22 / 32 » Weak Equivalences in Psi-Calculi |
112
Voted
ORDER
2006
15 years 18 days ago
2006
We say that a countable linear ordering L is countably complementable if there exists a linear ordering L, possibly uncountable, such that for any countable linear ordering B, L do...
109
Voted
PODS
2010
ACM
15 years 26 days ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
82
Voted
IANDC
2006
15 years 20 days ago
2006
This paper generalizes existing connections between automata and logic to a coalgestraction level. Let F : Set Set be a standard functor that preserves weak pullbacks. We introdu...
85
Voted
ANOR
2005
15 years 17 days ago
2005
In this paper we consider a finite-state financial market with non-proportional transaction cost and bid-ask spreads. The transaction cost consists of two parts: a fixed cost and a...
86
Voted
MLQ
2007
15 years 5 days ago
2007
Abstract. This research is motivated by the program of Reverse Mathematics and non-standard arguments in second-order arithmetic. Within a weak subsystem of second order arithmetic...