Mechanising metatheory with nominal logic programming

Cheney, James (Principal Investigator)

Status	Finished
Effective start/end date	1/10/08 → 31/12/08

Funding

Other (Learned Society): £415,068.00

1 Article

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