A reduction scheme by pre-institution transformations

  • Antonino Salibra
  • , Giuseppe Scollo

    Research output: Contribution to journalMeeting AbstractAcademic

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

    Cite this