Axiomatizing the logical core of XPath 2.0
| Authors | |
|---|---|
| Publication date | 2007 |
| Book title | Proceedings of ICDT 2007 |
| Pages (from-to) | 134-148 |
| Organisations |
|
| Document type | Conference contribution |
| Note | tencate2007:axiomatizing |
| Permalink to this page | |
