المؤلفون: Cifuentes, Santiago, Ciancaglini, Nicolás, Bellomo, Guido, Figueira, Santiago, Bendersky, Ariel

مصطلحات موضوعية: Quantum Physics, 81P55 (Primary), 03C10 (Secondary), F.4.1

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

المؤلفون: Barbanera, Franco, Dezani-Ciancaglini, Mariangiola

المصدر: EPTCS 383, 2023, pp. 15-34

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

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

المؤلفون: Ferreira, Claudio R., Cruz, Marcos Antônio E., Bolean, Maytê, Andrilli, Luiz Henrique da S., Millan, José Luis, Ramos, Ana Paula, Bottini, Massimo^{Aff1, Aff2, Aff3, IDs00249023016874_cor7}, Ciancaglini, Pietro^{Aff1, Aff3, IDs00249023016874_cor8}

المصدر: European Biophysics Journal: with Biophysics Letters. 52(8):721-733

المؤلفون: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

المصدر: EPTCS 356, 2022, pp. 12-23

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

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

المؤلفون: Pizauro Junior JM, Ciancaglini P, Macari M

المصدر: Brazilian Journal of Poultry Science, Vol 4, Iss 3, Pp 169-186 (2002)

مصطلحات موضوعية: calcificação, discondroplasia tibial, mineral, ossificação, endocondral, Animal culture, SF1-1100, Veterinary medicine, SF600-1100, Zoology, QL1-991

وصف الملف: electronic resource

Relation: http://www.scielo.br/scielo.php?script=sci_arttext&pid=S1516-635X2002000300001; https://doaj.org/toc/1516-635X

URL الوصول: https://doaj.org/article/1f889dcec2a346828d9e7a7869d9135a

المؤلفون: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), 03B38:Type theory, F.3.2

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

المؤلفون: Dagnino, Francesco, Giannini, Paola, Dezani-Ciancaglini, Mariangiola

المصدر: Logical Methods in Computer Science, Volume 19, Issue 1 (January 13, 2023) lmcs:8752

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

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

المؤلفون: Tramontina, Robson^{Aff1, Aff2}, Ciancaglini, Iara, Roman, Ellen K. B., Chacón, Micaela G., Corrêa, Thamy L. R., Dixon, Neil, Bugg, Timothy D. H., Squina, Fabio Marcio^{Aff2, IDs00253023125718_cor8}

المصدر: Applied Microbiology and Biotechnology. 107(13):4165-4185

المؤلفون: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

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

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

المؤلفون: Dagnino, Francesco, Bono, Viviana, Zucca, Elena, Dezani-Ciancaglini, Mariangiola

مصطلحات موضوعية: Computer Science - Programming Languages

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