Equational Proofs in Tableaux en Logic Programming

E.A. de Kogel

    Research output: ThesisDoctoral Thesis

    92 Downloads (Pure)
    Original languageEnglish
    QualificationDoctor of Philosophy
    Supervisors/Advisors
    • Nederpelt, R.P., Co-promotor, External person
    • de Swart, Harrie, Promotor
    Award date24 May 1995
    Place of PublicationHelmond
    Publisher
    Publication statusPublished - 1995

    Cite this