المؤلفون: Haselwarter, Philipp G., Li, Kwing Hei, de Medeiros, Markus, Gregersen, Simon Oddershede, Aguirre, Alejandro, Tassarotti, Joseph, Birkedal, Lars

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

الوصول الحر: http://arxiv.org/abs/2405.20083Test

المؤلفون: Aguirre, Alejandro, Haselwarter, Philipp G., de Medeiros, Markus, Li, Kwing Hei, Gregersen, Simon Oddershede, Tassarotti, Joseph, Birkedal, Lars

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

الوصول الحر: http://arxiv.org/abs/2404.14223Test

المؤلفون: Gregersen, Simon Oddershede, Aguirre, Alejandro, Haselwarter, Philipp G., Tassarotti, Joseph, Birkedal, Lars

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

الوصول الحر: http://arxiv.org/abs/2404.08494Test

المؤلفون: Gregersen, Simon Oddershede, Aguirre, Alejandro, Haselwarter, Philipp G., Tassarotti, Joseph, Birkedal, Lars

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

الوصول الحر: http://arxiv.org/abs/2301.10061Test

المؤلفون: Aguirre, Alejandro, Barthe, Gilles, Gaboardi, Marco, Garg, Deepak, Katsumata, Shin-ya, Sato, Tetsuya

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

الوصول الحر: http://arxiv.org/abs/2107.01155Test

المؤلفون: Gregersen, Simon Oddershede, Aguirre, Alejandro, Haselwarter, Philipp G., Tassarotti, Joseph, Birkedal, Lars

المصدر: Gregersen , S O , Aguirre , A , Haselwarter , P G , Tassarotti , J & Birkedal , L 2024 , ' Asynchronous Probabilistic Couplings in Higher-Order Separation Logic ' , Proceedings of the ACM on Programming Languages , vol. 8 , no. POPL , 26 . https://doi.org/10.1145/3632868Test

مصطلحات موضوعية: Logical Relations, Probabilistic Couplings, Separation Logic

العلاقة: https://pure.au.dk/portal/en/publications/ab25a536-5dd6-42ad-ab4a-20d9eb6cedb2Test

الإتاحة: https://doi.org/10.1145/3632868Test
https://pure.au.dk/portal/en/publications/ab25a536-5dd6-42ad-ab4a-20d9eb6cedb2Test

المؤلفون: Diaz-Vidal, Tania, Armenta-Pérez, Vicente Paúl, Rosales-Rivera, Luis Carlos, Basulto-Padilla, Georgina Cristina, Martínez-Pérez, Raúl Balam, Mateos-Díaz, Juan Carlos, Gutiérrez-Mercado, Yanet K., Canales-Aguirre, Alejandro A., Rodríguez, Jorge A.

المساهمون: Fondo Sectorial de Investigación en Salud y Seguridad Social, Secretaría de Educación Pública-Consejo Nacional de Ciencia y Tecnología, CONACYT

المصدر: Applied Microbiology and Biotechnology ; volume 108, issue 1 ; ISSN 0175-7598 1432-0614

مصطلحات موضوعية: Applied Microbiology and Biotechnology, General Medicine, Biotechnology

الإتاحة: https://doi.org/10.1007/s00253-023-12856-yTest

المؤلفون: Faccinetto-Beltrán, Paulinna, Reza-Zaldivar, Edwin E., Curiel-Pedraza, David Alejandro, Canales-Aguirre, Alejandro A., Jacobo-Velázquez, Daniel A.

المساهمون: Consejo Estatal de Ciencia y Tecnolog?a de Jalisco, Tecnologico de Monterrey?The Institute for Obesity Research

المصدر: ACS Omega ; ISSN 2470-1343 2470-1343

الإتاحة: https://doi.org/10.1021/acsomega.4c01198Test

المؤلفون: Aguirre, Alejandro, Barthe, Gilles, Hsu, Justin, Kaminski, Benjamin Lucien, Katoen, Joost-Pieter, Matheja, Christoph

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

الوصول الحر: http://arxiv.org/abs/1901.06540Test

المؤلفون: Aguirre, Alejandro Fajardo

المصدر: Revista Internacional de Lingüística Iberoamericana, 2021 Jun 01. 191 (37), 17-30.

الوصول الحر: https://www.jstor.org/stable/48636995Test