1670 search results - page 113 / 334 » On Skolemization in constructive theories |
145
click to vote
SMI
2007
IEEE
16 years 20 days ago
2007
IEEE
In this paper, we introduce localized homology, a theory for finding local geometric descriptions for topological attributes. Given a space and a cover of subspaces, we construct...
151
click to vote
AIMS
2007
Springer
16 years 18 days ago
2007
Springer
Promise theory defines a method by which static service bindings are made in a network, but little work has been done on handling the dynamic case in which bindings must change ov...
167
click to vote
CONCUR
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
141
click to vote
MKM
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
155
click to vote
OTM
2007
Springer
16 years 16 days ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...