A reduction scheme by pre-institution transformations

Antonino Salibra, Giuseppe Scollo

    Research output: Contribution to journalMeeting AbstractAcademic

    7 Downloads (Pure)
    Original languageEnglish
    Pages (from-to)1130-1131
    JournalJournal of symbolic logic
    Issue number3
    Publication statusPublished - 1993
    EventEuropean Summer Meeting of the Association for Symbolic Logic 1992 - Veszprém, Hungary
    Duration: 9 Aug 199215 Aug 1992

    Cite this