Modality in open Institutions with Concrete Syntax
Δελτίο της Ελληνικής Μαθηματικής Εταιρίας, Tome 49 (2004), pp. 91-101
Cet article a éte moissonné depuis 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},
year = {2004},
volume = {49},
language = {gr},
url = {http://geodesic.mathdoc.fr/item/DEME_2004_49_a7/}
}
Petros Stefaneas; Razvan Diaconescu. Modality in open Institutions with Concrete Syntax. Δελτίο της Ελληνικής Μαθηματικής Εταιρίας, Tome 49 (2004), pp. 91-101. http://geodesic.mathdoc.fr/item/DEME_2004_49_a7/