205 search results - page 1 / 41 » Fibred and Indexed Categories for Abstract Model Theory |
IGPL
2007
13 years 5 months ago
2007
AC
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. These notes form the basis of four lectures given at the Summer School on Generic Programming, Oxford, UK, which took place dur
DATESO
2008
13 years 6 months ago
2008
Abstract. This paper gives an overview of XML formal models, summarizes database engineering practices, problems and their evolution. We focus on categorical aspects of XML formal ...
ENTCS
2008
13 years 5 months ago
2008
bstraction Functor for Named Sets Vincenzo Ciancia 1 Ugo Montanari 1 Department of Computer Science University of Pisa lem of dening fully abstract operational models of name pass...
FOIS
2006
13 years 6 months ago
2006
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the te...