3319 search results - page 66 / 664 » Subshifts, Languages and Logic |
101
click to vote
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
ICIAP
1997
ACM
15 years 4 months ago
1997
ACM
We present a model for image retrieval in which images are represented both at the form level, as sets of physical features of the representing objects, and at the content level, a...
111
Voted
WLP
2000
Springer
15 years 4 months ago
2000
Springer
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...
118
click to vote
LPAR
1992
Springer
15 years 4 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...
93
Voted
JSYML
2007
15 years 12 days ago
2007
The language of the basic logic of proofs extends the usual propositional language by forming sentences of the sort x is a proof of F for any sentence F. In this paper a complete ...