On the termination of Russell's description elimination algorithm

V. van Oostrom, C.A. Grabmayer, J Leo, A. Visser

    Research output: Contribution to journalArticleAcademic

    Original languageUndefined/Unknown
    Pages (from-to)1-26
    Number of pages26
    JournalLogic Group Preprint Series 280
    Issue number280
    Publication statusPublished - 2009

    Cite this