Axiomatizing the Logical Core of XPath 2.0
Theory of Computing Systems- United States
doi 10.1007/s00224-008-9151-9
Full Text
Abstract
Available in
Date
October 25, 2008
Authors
Publisher
Springer Science and Business Media LLC
doi 10.1007/s00224-008-9151-9
Available in
October 25, 2008
Springer Science and Business Media LLC