16218 search results - page 168 / 3244 » Standards |
137
Voted
ENTCS
2010
15 years 4 months ago
2010
We formulate a unified display calculus proof theory for the four principal varieties of bunched logic by combining display calculi for their component logics. Our calculi satisfy...
130
click to vote
FUIN
2008
15 years 4 months ago
2008
This article investigates Krivine's realizability interpretation of classical second-order arithmetic and its recent extension handling countable choice. We will start by pre...
137
click to vote
ENTCS
2006
15 years 4 months ago
2006
Locality is a standard notion of finite model theory. There are two well known flavors of it, based on Hanf's and Gaifman's theorems. Essentially they say that structure...
EJC
2007
15 years 4 months ago
2007
Let the sign of a skew standard Young tableau be the sign of the permutation you get by reading it row by row from left to right, like a book. We examine how the sign property is ...
105
click to vote
NETWORK
2006
15 years 4 months ago
2006
The 3GPP Packet-Switched Streaming Service (PSS) is a standard for audio and video streaming to handheld 2.5G and 3G terminals and provides a complete streaming and download frame...