JUAN
RODRÍGUEZ HORTALÁ
Forscher in der Zeit 2008-2020
Dissertation
-
Programación con indeterminismoun enfoque basado en reescritura 2010
Universidad Complutense de Madrid
Dissertationen geleitet (1)
-
Sistemas de tipos en lenguajes lógico-funcionales 2012
Universidad Complutense de Madrid