First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 377,07 KBShare Document on Facebook |