Raya Castellano, Rodrigo Javier rodrigo.raya@upm.es
Actividades
??chart.error-loading.chart_es_ES??
Loading...
- Artículos 1
- Libros 0
- Capítulos de libro 0
- Congresos 0
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 0
- Tesis dirigidas 0
- Patentes o licencias de software 0
Modular derivation of decision procedures for extensions of the algebraic theory of arrays
- Raya, Rodrigo
- Ringeissen, Christophe
Journal of Logical and Algebraic Methods in Programming - 1/9/2026
10.1016/j.jlamp.2026.101132 Ver en origen
- ISSN 15678326
Este/a investigador/a no tiene libros.
Este/a investigador/a no tiene capítulos de libro.
Este/a investigador/a no tiene congresos.
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
Este/a investigador/a no tiene proyectos de investigación.
Este/a investigador/a no tiene tesis dirigidas.
Este/a investigador/a no tiene patentes o licencias de software.
Perfiles de investigador/a
- El/la investigador/a no tiene perfiles.
Última actualización de los datos:
31/08/26 19:16