5499 search results - page 100 / 1100 » Generalized Rewrite Theories |
138
click to vote
JSYML
1998
15 years 6 months ago
1998
We examine two-cardinal problems for the class of O-minimal theories. We prove that an O-minimal theory which admits some (κ, λ) must admit every (κ , λ ). We also prove that ...
174
click to vote
CAISE
2005
Springer
16 years 11 days ago
2005
Springer
This paper familiarizes the audience with the Triune Continuum Paradigm, a paradigm that provides philosophically supported theoretical foundations for system modeling in general a...
213
click to vote
OHS
2000
Springer
15 years 10 months ago
2000
Springer
This paper introduces a Semiotic Appoach to Hypertext Theory. Having been applied to Informatics only in recent years, Semiotics promises a broader understanding of Hypertext as a ...
127
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
Previous work (Frank and Satta, 1998; Karttunen, 1998) has shown that Optimality Theory with gradient constraints generally is not finite state. A new finite-state treatment of gr...
146
click to vote
MLQ
2002
15 years 6 months ago
2002
In this paper it is shown that the intuitionistic fixed point theory ID i (strict) for times iterated fixed points of strictly positive operator forms is conservative for negativ...