21 search results - page 5 / 5 » Transformations between Signed and Classical Clause Logic |
CCA
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. In this paper we study a reducibility that has been introduced by Klaus Weihrauch or, more precisely, a natural extension of this reducibility for multi-valued functions ...