Español (España)
English
Registrarse
Entrar
ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal
Actual
Archivos
Acerca de
Sobre la revista
Envíos
Equipo editorial
Guía de buenas prácticas
Política editorial sobre el uso de IA
Declaración de privacidad
Contacto
Enviar artículo
Inicio
/
Archivos
/
Vol. 12 (2023)
/
Artículos
Restricted Computations and Parameters in Type-Theory of Acyclic Recursion
Roussanka Loukanova
Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Sofia
rloukanova[at]gmail.com
https://doi.org/10.14201/adcaij.29081
Descargar
+
−