Normalizable Horn Clauses, Strongly Recognizable Relations and Spi

Flemming Nielson, Hanne Riis Nielson, H. Seidl

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProc. SAS'02 : Lecture Notes in Computer Science, vol. 2477
    PublisherSpringer
    Publication date2002
    Pages20-35
    Publication statusPublished - 2002

    Cite this