Logique de requêtes à la XPath: systèmes de preuve et pretinence pratique. (XPath-like Query Logics: Proof Systems and Real-World Applicability)

Anthony Lick. Logique de requêtes à la XPath: systèmes de preuve et pretinence pratique. (XPath-like Query Logics: Proof Systems and Real-World Applicability). PhD thesis, University of Paris-Saclay, France, 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.