12438 search results - page 121 / 2488 » The Magic of a Number System |
ICALP
2010
Springer
14 years 1 months ago
2010
Springer
We consider two-player turn-based games with zero-reachability and zero-safety objectives generated by extended vector addition systems with states. Although the problem of decidin...
CASES
2007
ACM
14 years 5 days ago
2007
ACM
Although NAND flash memory has become one of the most popular storage media for portable devices, it has a serious problem with respect to lifetime. Each block of NAND flash memor...
IJWIS
2008
13 years 8 months ago
2008
: Purpose -- Efficient processing of XML queries is critical for XML data management and related applications. Previously proposed techniques are unsatisfactory. This article prese...
JANCL
2006
13 years 8 months ago
2006
We describe a relational framework that uniformly supports formalization and automated reasoning in various propositional modal logics. The proof system we propose is a relational ...
RTA
2010
Springer
13 years 6 months ago
2010
Springer
We consider here a number of variations on the System F, that are predicative second-order systems whose terms are intermediate between the Curry style and Church style. The terms ...