381 search results - page 1 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
LICS
1997
IEEE
14 years 3 months ago
1997
IEEE
FUIN
2007
13 years 10 months ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
ICDT
2005
ACM
14 years 4 months ago
2005
ACM
We give two sufficient conditions on XPath like languages for having first order expressivity, meaning that every first order definable set of paths in an ordered node-labeled t...
CADE
2004
Springer
14 years 11 months ago
2004
Springer
ended abstract motivates and presents techniques for identifying variable independence in free variable calculi for classical logic without equality. Two variables are called indep...
SIGMOD
2005
ACM
14 years 11 months ago
2005
ACM
We give semantic characterizations of the expressive power of navigational XPath (also called Core XPath) in terms of first order logic. XPath can be used to specify sets of nodes...