![Metalogic / Ultraproduct / Sheaf / First-order logic / Model theory / Mathematical logic / Logic Metalogic / Ultraproduct / Sheaf / First-order logic / Model theory / Mathematical logic / Logic](https://www.pdfsearch.io/img/e38413f8288c42c5445fb488f5a2ae3f.jpg) Date: 2014-11-18 05:43:25Metalogic Ultraproduct Sheaf First-order logic Model theory Mathematical logic Logic | | Definability for Downward and Vertical XPath on Data Trees Sergio Abriola1 , Mar´ıa Emilia Descotte1 , and Santiago Figueira1,2 1 University of Buenos Aires, ArgentinaAdd to Reading ListSource URL: www.glyc.dc.uba.arDownload Document from Source Website File Size: 377,07 KBShare Document on Facebook
|