10666 search results - page 1389 / 2134 » Quantum programming languages |
215
click to vote
CP
2004
Springer
16 years 25 days ago
2004
Springer
The contribution of this paper is in demonstrating the impact of AND/OR search spaces view on solutions counting. In contrast to the traditional (OR) search space view, the AND/OR ...
196
click to vote
ICALP
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. This paper presents a general technique for optimally transforming any dynamic data structure D that operates on atomic and indivisible keys by constant-time comparisons,...
165
click to vote
ICALP
2004
Springer
16 years 24 days ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
172
click to vote
ICALP
2004
Springer
16 years 24 days ago
2004
Springer
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
167
click to vote
IFIP
2004
Springer
16 years 24 days ago
2004
Springer
: Open Source Software (OSS) development needs to be considered during software development as to whether to develop an OSS packages, and/or whether to develop with OSS. In this pa...