3552 search results - page 345 / 711 » Proof theory in the abstract |
168
click to vote
ARTMED
1998
15 years 6 months ago
1998
Abstract: The theory of conceptual structures serves as a common basis for natural language processing and medical concept representation. We present a PROLOG-based formalization o...
143
click to vote
JSYML
2002
15 years 6 months ago
2002
Abstract. We extend Morley's Theorem to show that if a theory is -pcategorical for some uncountable cardinal , it is uncountably categorical. We then discuss -p-categoriticy a...
143
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--This paper extends the "single crossing point" property of the scalar MMSE function, derived by Guo, Shamai and Verd
167
click to vote
ORDER
2007
15 years 6 months ago
2007
Abstract. We analyze results on well-partial-orderings from the viewpoint of computability theory, and we answer a question posed by Diana Schmidt. We obtain the following results....
212
click to vote
LOGCOM
2010
15 years 5 months ago
2010
The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...