Research

Logical aspects of logical frameworks


Reference:

Price, M., 2008. Logical aspects of logical frameworks. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Related documents:

[img]
Preview
PDF (Price_PhD.pdf) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (1186kB) | Preview

    Details

    Item Type Thesis (Doctor of Philosophy (PhD))
    CreatorsPrice, M.
    Uncontrolled Keywordssemantics, proof-search, logical framework, lf
    DepartmentsFaculty of Science > Computer Science
    StatusPublished
    ID Code13665

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...