๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A question of strength: on NPIs in interrogative clauses

โœ Scribed by Elena Guerzoni; Yael Sharvit

Book ID
106451934
Publisher
Springer Netherlands
Year
2007
Tongue
English
Weight
396 KB
Volume
30
Category
Article
ISSN
0165-0157

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The effect of control strength on the sy
The effect of control strength on the synchronization in pinning control questions
โœ Xuan Zhou; Hui Feng; Shihua Chen ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 228 KB

This paper investigates the effects of control strength on nonlinearly coupled systems in the process of synchronization, where the coupling strength is an invariable constant. Under the assumption of an asymmetric and reducible coupling matrix, two comparable sufficient conditions are obtained by u

On the Reconstruction of Proofs in Distr
On the Reconstruction of Proofs in Distributed Theorem Proving: a Modified Clause-Diffusion Method
โœ MARIA PAOLA BONACINA ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 541 KB

Proof reconstruction is the operation of extracting the computed proof from the trace of a theorem-proving run. We study the problem of proof reconstruction in distributed theorem proving: because of the distributed nature of the derivation and especially because of deletions of clauses by contracti