7988 search results - page 83 / 1598 » A Useful Undecidable Theory |
118
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In the paper I sketch a theory of massively parallel proofs using cellular automata presentation of deduction. In this presentation inference rules play the role of cellular-autom...
138
Voted
COLING
1990
15 years 6 months ago
1990
In this paper, I give an account, in terms of centering theory [GJW86], of some phenomena of pronominalization in Italian, in particular the use of the null or the overt pronoun i...
176
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
150
click to vote
CHARME
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
176
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...