Mechanising metatheory with nominal logic programming

Cheney, James (Principal Investigator)

1 Article

1 results

2013
Revisiting "forward node-selecting queries over trees"
Cheney, J., Apr 2013, In: ACM Transactions on Database Systems. 38, 2, 33 p., 13.
Research output: Contribution to journal › Article › peer-review