Geodesic
Karp's interpolation theorem for some classes of infinitary languages
Rendiconti del Seminario Matematico della Università di Padova, Tome 82 (1989), pp. 9-23

Voir la notice de l'article provenant de la source Numdam

MR Zbl 
Baratella, Stefano. Karp's interpolation theorem for some classes of infinitary languages. Rendiconti del Seminario Matematico della Università di Padova, Tome 82 (1989), pp. 9-23. http://geodesic.mathdoc.fr/item/RSMUP_1989__82__9_0/
@article{RSMUP_1989__82__9_0,
     author = {Baratella, Stefano},
     title = {Karp's interpolation theorem for some classes of infinitary languages},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     pages = {9--23},
     year = {1989},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {82},
     mrnumber = {1049582},
     zbl = {0702.03015},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RSMUP_1989__82__9_0/}
}
TY  - JOUR
AU  - Baratella, Stefano
TI  - Karp's interpolation theorem for some classes of infinitary languages
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1989
SP  - 9
EP  - 23
VL  - 82
PB  - Seminario Matematico of the University of Padua
UR  - http://geodesic.mathdoc.fr/item/RSMUP_1989__82__9_0/
LA  - en
ID  - RSMUP_1989__82__9_0
ER  - 
%0 Journal Article
%A Baratella, Stefano
%T Karp's interpolation theorem for some classes of infinitary languages
%J Rendiconti del Seminario Matematico della Università di Padova
%D 1989
%P 9-23
%V 82
%I Seminario Matematico of the University of Padua
%U http://geodesic.mathdoc.fr/item/RSMUP_1989__82__9_0/
%G en
%F RSMUP_1989__82__9_0