A reduction scheme by pre-institution transformations

Research output: Contribution to journal › Meeting Abstract › Academic

24 Downloads (Pure)

Original language	English
Pages (from-to)	1130-1131
Journal	Journal of symbolic logic
Volume	58
Issue number	3
DOIs	https://doi.org/10.2307/2275127
Publication status	Published - 1993
Event	European Summer Meeting of the Association for Symbolic Logic 1992 - Veszprém, Hungary Duration: 9 Aug 1992 → 15 Aug 1992

Access to Document

@article{0b72081257c54abe809469244efe56b4,

title = "A reduction scheme by pre-institution transformations",

author = "Antonino Salibra and Giuseppe Scollo",

year = "1993",

doi = "10.2307/2275127",

language = "English",

volume = "58",

pages = "1130--1131",

journal = "Journal of symbolic logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "3",

note = "European Summer Meeting of the Association for Symbolic Logic 1992 ; Conference date: 09-08-1992 Through 15-08-1992",

}

TY - JOUR

T1 - A reduction scheme by pre-institution transformations

AU - Salibra, Antonino

AU - Scollo, Giuseppe

PY - 1993

Y1 - 1993

U2 - 10.2307/2275127

DO - 10.2307/2275127

M3 - Meeting Abstract

SN - 0022-4812

VL - 58

SP - 1130

EP - 1131

JO - Journal of symbolic logic

JF - Journal of symbolic logic

IS - 3

T2 - European Summer Meeting of the Association for Symbolic Logic 1992

Y2 - 9 August 1992 through 15 August 1992

ER -