A first Order Logic for Partial Functions by means of Notational Conventions

    Research output: Contribution to journalArticleProfessional

    Original languageUndefined
    Pages (from-to)-
    Number of pages22
    JournalMemoranda informatica
    Volume0
    Issue number12
    Publication statusPublished - 1990

    Keywords

    • METIS-121614

    Cite this