<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-11-18 05:43:25Metalogic Ultraproduct Sheaf First-order logic Model theory Mathematical logic Logic |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2014-11-18 05:43:25Metalogic Ultraproduct Sheaf First-order logic Model theory Mathematical logic Logic |
Add to Reading List |
Definability for Downward and Vertical XPath on Data Trees Sergio Abriola1 , Mar´ıa Emilia Descotte1 , and Santiago Figueira1,2 1 University of Buenos Aires, Argentina
