421 search results - page 20 / 85 » CSL |
CSL
2006
Springer
13 years 8 months ago
2006
Springer
CSL
2002
Springer
13 years 8 months ago
2002
Springer
d Abstract) Marcin Jurdzi
CSL
2003
Springer
14 years 1 months ago
2003
Springer
We propose a method for realising the proofs of Intuitionistic Zermelo-Fraenkel set theory (IZF) by strongly normalising λ-terms. This
CSL
2001
Springer
14 years 29 days ago
2001
Springer
We prove an existential version of Gaifman’s locality theorem and show how it can be applied algorithmically to evaluate existential first-order sentences in finite structures....
CSL
1990
Springer
14 years 15 days ago
1990
Springer
This is an attempt to simplify and justify the notions of deterministicand randomized reductions, an attempt to derive these notions from (more or less) rst principles.