Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Cheney, James - Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
Satisfiability algorithms for conjunctive queries over trees James Cheney
Statistical Models for Term Compression James Cheney
Equivariant Unification James Cheney
Under consideration for publication in Math. Struct. in Comp. Science Provenance as Dependency Analysis
Statistical Models for Term Compression James Cheney
The Semantics of Nominal Logic Programs James Cheney
A formal framework for provenance security James Cheney
A Provenance Model for Manually Curated Data Peter Buneman1
Mechanizing the Metatheory of LF CHRISTIAN URBAN
DBWiki: A Structured Wiki for Curated Data and Collaborative Data Management
Schema-Based Independence Analysis for XML Updates Michael Benedikt1
Mechanized Metatheory Model-Checking James Cheney
Scrap your Nameplate (Functional Pearl)
A Simpler Proof Theory for Nominal Logic James Cheney
A Sequent Calculus for Nominal Logic Murdoch Gabbay
The Complexity of Equivariant Unification James Cheney
Toward a General Theory of Names, Binding and Scope James Cheney
Relating Nominal and Higher-Order Pattern Unification
NOMINAL LOGIC PROGRAMMING A Dissertation
NOMINAL LOGIC PROGRAMMING A Dissertation
An Empirical Evaluation of Simple DTDConscious Compression Techniques
Tradeoffs in XML Database Compression James Cheney
System Description: Prolog, a Fresh Approach to Logic Programming Modulo -Equivalence
Noname manuscript No. (will be inserted by the editor)
FIRSTORDER TERM COMPRESSION: TECHNIQUES AND APPLICATIONS
Foundations and Trends R Vol. 1, No. 4 (2007) 379474
Lux: A lightweight, statically typed XML update language James Cheney
A Simpler Proof Theory for Nominal Logic James Cheney
Prolog: A Logic Programming Language with Names, Binding and -Equivalence
An Empirical Evaluation of Simple DTD-Conscious Compression Techniques
Avoiding Equivariance in Alpha-Prolog Christian Urban1
Semantics, Types and Effects for XML Updates Michael Benedikt1
Mechanizing the Metatheory of mini-XQuery James Cheney1
The Database Wiki Project: A General-Purpose Platform for Data Curation and Collaboration
Noname manuscript No. (will be inserted by the editor)
A Core Calculus for Provenance Umut A. Acar1
