Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Balder ten Cate
Queries With Guarded Negation
Proceedings of the VLDB Endowment
Computer Science
Axiomatizing the Logical Core of XPath 2.0
Theory of Computing Systems
Computational Theory
Theoretical Computer Science
Mathematics