Geodesic
Modality in open Institutions with Concrete Syntax
Δελτίο της Ελληνικής Μαθηματικής Εταιρίας , Tome 49 (2004), p. 91-101.

Voir la notice de l'article provenant de la source Hellenic Digital Mathematics Library

@article{DEME_2004__49_a7,
     author = {Petros Stefaneas and  Razvan Diaconescu},
     title = {Modality in open {Institutions} with {Concrete} {Syntax}},
     journal = {\ensuremath{\Delta}\ensuremath{\varepsilon}\ensuremath{\lambda}\ensuremath{\tau}\ensuremath{\acute\iota}o \ensuremath{\tau}\ensuremath{\eta}\ensuremath{\varsigma} E\ensuremath{\lambda}\ensuremath{\lambda}\ensuremath{\eta}\ensuremath{\nu}\ensuremath{\iota}\ensuremath{\kappa}\ensuremath{\acute\eta}\ensuremath{\varsigma} M\ensuremath{\alpha}\ensuremath{\theta}\ensuremath{\eta}\ensuremath{\mu}\ensuremath{\alpha}\ensuremath{\tau}\ensuremath{\iota}\ensuremath{\kappa}\ensuremath{\acute\eta}\ensuremath{\varsigma} E\ensuremath{\tau}\ensuremath{\alpha}\ensuremath{\iota}\ensuremath{\rho}\ensuremath{\acute\iota}\ensuremath{\alpha}\ensuremath{\varsigma}
},
     pages = {91-101},
     publisher = {mathdoc},
     volume = {49},
     year = {2004},
     language = {gr},
     url = {http://geodesic.mathdoc.fr/item/DEME_2004__49_a7/}
}
TY  - JOUR
AU  - Petros Stefaneas
AU  -  Razvan Diaconescu
TI  - Modality in open Institutions with Concrete Syntax
JO  - Δελτίο της Ελληνικής Μαθηματικής Εταιρίας

PY  - 2004
SP  - 91
EP  - 101
VL  - 49
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DEME_2004__49_a7/
LA  - gr
ID  - DEME_2004__49_a7
ER  - 
%0 Journal Article
%A Petros Stefaneas
%A  Razvan Diaconescu
%T Modality in open Institutions with Concrete Syntax
%J Δελτίο της Ελληνικής Μαθηματικής Εταιρίας

%D 2004
%P 91-101
%V 49
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DEME_2004__49_a7/
%G gr
%F DEME_2004__49_a7
Petros Stefaneas;  Razvan Diaconescu. Modality in open Institutions with Concrete Syntax. Δελτίο της Ελληνικής Μαθηματικής Εταιρίας
, Tome 49 (2004), p. 91-101. http://geodesic.mathdoc.fr/item/DEME_2004__49_a7/