1670 search results - page 19 / 334 » On Skolemization in constructive theories |
TARK
1998
Springer
13 years 11 months ago
1998
Springer
We develop a revealed-preferencetheory for multiple agents. Some features of our construction, which draws heavily on Jeffrey's utility theory and on formal constructions by D...
AML
2010
13 years 7 months ago
2010
In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructibl...
WSCG
2000
13 years 8 months ago
2000
The article offers a new approach towards the construction of recognition features independent of images' displacement or linear deformation. The distinguishing characteristi...
NA
2006
13 years 7 months ago
2006
When constructing multivariate Pad
CONCUR
2008
Springer
13 years 9 months ago
2008
Springer
We develop a theory of sorted bigraphical reactive systems. Every application of bigraphs in the literature has required an extension, a sorting, of pure bigraphs. In turn, every s...