المؤلفون: Tatsuta, M., Dezani-Ciancaglini, M.

المصدر: 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) Logic in Computer Science, 2006 21st Annual IEEE Symposium on. :327-338 2006

Relation: 2006 21st Annual IEEE Symposium on Logic in Computer Science

المؤلفون: Dezani-Ciancaglini, M., Tiuryn, J., Urzyczyn, P.

المصدر: Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science Logic in computer science Logic in Computer Science, 1997. LICS '97. Proceedings., 12th Annual IEEE Symposium on. :396-407 1997

Relation: Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science

المؤلفون: Dezani-Ciancaglini, M., Lusin, S.

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.3.2

URL الوصول: http://arxiv.org/abs/cs/0211011

المؤلفون: Dezani-Ciancaglini, M., Honsell, F., Alessi, F.

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.1, F.3.3, F.3.2, D.1.1

URL الوصول: http://arxiv.org/abs/cs/0011039

المؤلفون: Coppo, M., Dezani-Ciancaglini, M.

المصدر: Coppo, M.; Dezani-Ciancaglini, M.: Archiv für mathematische Logik und Grundlagenforschung. 19 1978

وصف الملف: image/jpeg; application/pdf

URL الوصول: http://resolver.sub.uni-goettingen.de/purl?GDZPPN00204501X

المؤلفون: Dezani-Ciancaglini, M.^Aff6, Honsell, F.^Aff7, Motohama, Y.^Aff6

المساهمون: Goos, Gerhard, editor^Aff1, Hartmanis, Juris, editor^Aff2, van Leeuwen, Jan, editor^Aff3, Nielsen, Mogens, editor^Aff4, Rovan, Branislav, editor^Aff5

المصدر: Mathematical Foundations of Computer Science 2000 : 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 – September 1, 2000 Proceedings. 1893:304-313

المؤلفون: Dezani-Ciancaglini, M.^Aff6, Salvo, I.^Aff6

المساهمون: Goos, Gerhard, editor^Aff1, Hartmanis, Juris, editor^Aff2, van Leeuwen, Jan, editor^Aff3, Jifeng, He, editor^Aff4, Sato, Masahiko, editor^Aff5

المصدر: Advances in Computing Science — ASIAN 2000 : 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings. 1961:215-236

المؤلفون: Barbanera, E.^Aff3, Dezani-Ciancaglini, M.^Aff3, de Vries, F. J.^Aff4

المساهمون: Gries, David, editor^Aff1, de Roever, Willem-Paul, editor^Aff2

المصدر: Programming Concepts and Methods PROCOMET ’98 : IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, New York, USA. :11-29

المؤلفون: Alessi, F.^Aff1, Dezani-Ciancaglini, M.^Aff2, de'Liguoro, U.^Aff2

المساهمون: Goos, G., editor, Hartmanis, J., editor, Prívara, Igor, editor, Rovan, Branislav, editor, Ruzička, Peter, editor

المصدر: Mathematical Foundations of Computer Science 1994 : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings. 841:211-220

المؤلفون: Dezani-Ciancaglini, M. ^*, Honsell, F., Motohama, Y.

المصدر: In Theoretical Computer Science 2005 340(3):459-495