Juan Rodríguez-Hortalá

发表

Enrique Martin-Martin, Juan Rodríguez-Hortalá, Enrique Martin-Martin, 2012, PPDP.

Juan Rodríguez-Hortalá, Francisco Javier López-Fraguas, Manuel Montenegro, 2016, FLOPS.

Adrián Riesco, Juan Rodríguez-Hortalá, 2019, Theory Pract. Log. Program..

Enrique Martin-Martin, Juan Rodríguez-Hortalá, Francisco Javier López-Fraguas, 2010, APLAS.

Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández, J. Sánchez-Hernández, 2008, PROLE.

Juan Rodríguez-Hortalá, Francisco Javier López-Fraguas, Jaime Sánchez-Hernández, 2009, PEPM '09.

Adrián Riesco, Juan Rodríguez-Hortalá, 2012, ICTAC.

Adrián Riesco, Enrique Martin-Martin, Juan Rodríguez-Hortalá, 2019, IEEE Access.

Adrián Riesco, Juan Rodríguez-Hortalá, A. Riesco, 2012, Theory and Practice of Logic Programming.

Juan Rodríguez-Hortalá, Francisco Javier López-Fraguas, Jaime Sánchez-Hernández, 2007, PPDP '07.

Enrique Martin-Martin, Juan Rodríguez-Hortalá, Francisco Javier López-Fraguas, 2012, Theory and Practice of Logic Programming.

Adrián Riesco, Juan Rodríguez-Hortalá, A. Riesco, 2015, PROLE.

Adrián Riesco, Juan Rodríguez-Hortalá, 2010, Electron. Notes Theor. Comput. Sci..

Juan Rodríguez-Hortalá, Francisco Javier López-Fraguas, Jaime Sánchez-Hernández, 2008, FLOPS.

Adrián Riesco, Juan Rodríguez-Hortalá, A. Riesco, 2016, IFM.

Enrique Martin-Martin, Juan Rodríguez-Hortalá, Francisco Javier López-Fraguas, 2009, WFLP.

Enrique Martin-Martin, Juan Rodríguez-Hortalá, Francisco Javier López-Fraguas, 2012, PEPM '12.

Stephan Merz, Juan Rodríguez-Hortalá, Francisco Javier López-Fraguas, 2009, ArXiv.

Juan Rodríguez-Hortalá, Francisco Javier López-Fraguas, Jaime Sánchez-Hernández, 2009, ArXiv.

Adrián Riesco, Juan Rodríguez-Hortalá, A. Riesco, 2010, PEPM '10.

Juan Rodríguez-Hortalá, Francisco Javier López-Fraguas, Jaime Sánchez-Hernández, 2009, RTA.

Juan Rodríguez-Hortalá, Francisco Javier López-Fraguas, Jaime Sánchez-Hernández, 2007, Electron. Notes Theor. Comput. Sci..