Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Datasets
Prizes
Activities
Press/Media
Equipment
Search by expertise, name or affiliation
Mechanising metatheory with nominal logic programming
Cheney, James
(Principal Investigator)
School of Informatics
Laboratory for Foundations of Computer Science
Overview
Fingerprint
Research output
(1)
Project Details
Status
Finished
Effective start/end date
1/10/08
→
31/12/08
Funding
Other (Learned Society):
£415,068.00
View all
View less
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Proof Technique
Computer Science
100%
Research output
Research output per year
2013
2013
2013
1
Article
Research output per year
Research output per year
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
Proof Technique
100%