Automated termination proofs for logic programs by term rewriting

P. Schneider-Kamp, J. Giesl, A. Serebrenik, R. Thiemann

    Onderzoeksoutput: Boek/rapportRapportAcademic

    Originele taal-2Engels
    Uitgeverijs.n.
    Aantal pagina's48
    StatusGepubliceerd - 2008

    Publicatie series

    NaamarXiv.org [cs.LO]
    Volume0803.0014

    Citeer dit