Kleene's Logic with Equality

Flemming Nielson, Hanne Riis Nielson, M. Sagiv

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalInformation Processing Letters
    Volume80
    Issue number3
    Pages (from-to)131-137
    ISSN0020-0190
    Publication statusPublished - 2001

    Cite this