Research

A semantics for reductive logic and proof-search


Reference:

Pym, D. J. and Ritter, E., 2004. A semantics for reductive logic and proof-search. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-01)

Related documents:

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

    Details

    Item Type Reports/Papers (Other)
    CreatorsPym, D. J.and Ritter, E.
    DepartmentsFaculty of Science > Computer Science
    Publisher StatementCSBU-2004-01.pdf: ©The Author March 2004
    StatusPublished
    ID Code16844
    Additional InformationID number: CSBU-2004-01

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...