G. Vidal

发表

Germán Vidal, Elvira Albert, Michael Hanus, 2001, FLOPS.
Germán Vidal, Elvira Albert, Michael Hanus, 2002, WRS.
G. Vidal, C. Ochoa, Josep Silva, 2004 .
G. Vidal, Josep Silva, J. G. Ramos, 2005 .
G. Vidal, S. Tamarit, J. G. Ramos, 2007 .
María Alpuente, Germán Vidal, G. Vidal, 2008 .
María Alpuente, Germán Vidal, Elvira Albert, 1998, APPIA-GULP-PRODE.
G. Vidal, M. Falaschi, M. Alpuente, 2002 .
G. Vidal, 2020, Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems.
G. Vidal, Naoki Nishida, Adrián Palacios, 2016, ArXiv.
G. Vidal, Naoki Nishida, Adrián Palacios, 2016 .
María José Ramis, G. Vidal, M. Falaschi, 2004 .
María Alpuente, Germán Vidal, Elvira Albert, 1999 .
Rüdiger Valk, G. Vidal, G. Vidal, 1977, Theoretical Computer Science.
María Alpuente, Germán Vidal, Moreno Falaschi, 1996, Theor. Comput. Sci..
Germán Vidal, G. Vidal, 2015, Sci. Comput. Program..
Germán Vidal, Naoki Nishida, G. Vidal, 2015, J. Log. Algebraic Methods Program..
Germán Vidal, Elvira Albert, E. Albert, 2009, New Generation Computing.
Germán Vidal, G. Vidal, 2004, High. Order Symb. Comput..
E. Albert, M. Hanus, G. Vidal, 2007 .
Germán Vidal, Elvira Albert, Michael Hanus, 2002, WFLP.
Germán Vidal, Josep Silva, G. Vidal, 2006, Theory and Practice of Logic Programming.
Germán Vidal, Josep Silva, Claudio Ochoa, 2006, JELIA.
Germán Vidal, Josep Silva, Claudio Ochoa, 2005, WCFLP '05.
Germán Vidal, Josep Silva, Claudio Ochoa, 2004 .
Germán Vidal, Josep Silva, Gustavo Arroyo, 2006, LOPSTR.
María Alpuente, Germán Vidal, Moreno Falaschi, 2004 .
Germán Vidal, Salvador Tamarit, Marisa Llorens, 2008, RP.
Germán Vidal, Josep Silva, Claudio Ochoa, 2008, High. Order Symb. Comput..
Germán Vidal, Diego Cheda, Josep Silva, 2007, WFLP.
Germán Vidal, Michael Leuschel, M. Leuschel, 2005, ESOP.
Germán Vidal, Josep Silva, Claudio Ochoa, 2004, PEPM '04.
G. Vidal, G. Vidal, 2002, IEEE International Conference on Systems, Man and Cybernetics.
Germán Vidal, Josep Silva, Diego Cheda, 2006 .
Salvador Lucas, María Alpuente, Germán Vidal, 1999, ICFP '99.
Ivan Lanese, Germán Vidal, Naoki Nishida, 2018, J. Log. Algebraic Methods Program..
Ivan Lanese, Germán Vidal, Naoki Nishida, 2018, FLOPS.
Germán Vidal, Adrián Palacios, G. Vidal, 2015, LOPSTR.
Germán Vidal, G. Vidal, 2014, LOPSTR.
Germán Vidal, Naoki Nishida, G. Vidal, 2013, LOPSTR.
Germán Vidal, G. Vidal, 2012, Theory and Practice of Logic Programming.
Germán Vidal, Josep Silva, J. Guadalupe Ramos, 2005, ICFP '05.
Michael Hanus, German Vidal, Maria Alpuente, 2004, Theory and Practice of Logic Programming.
María Alpuente, Germán Vidal, Ginés Moreno, 2004, Theor. Comput. Sci..
Germán Vidal, G. Vidal, 2002, PEPM '02.
Germán Vidal, Elvira Albert, Michael Hanus, 2000, LPAR.
Germán Vidal, Elvira Albert, Michael Hanus, 2002, J. Funct. Log. Program..
Germán Vidal, Elvira Albert, Sergio Antoy, 2000, WFLP.
Germán Vidal, Elvira Albert, Michael Hanus, 2000, WFLP.
María Alpuente, Germán Vidal, Moreno Falaschi, 1996, ESOP.
María Alpuente, Germán Vidal, Elvira Albert, 1999, LPAR.
Ivan Lanese, Germán Vidal, Adrián Palacios, 2019, FORTE.
Ivan Lanese, Germán Vidal, Adrián Palacios, 2021, Fundam. Informaticae.
Robert Glück, Ivan Lanese, Jarkko Kari, 2020, Selected Results of the COST Action IC1405.
María Alpuente, Germán Vidal, Elvira Albert, 1998, SAS.
María Alpuente, Germán Vidal, Moreno Falaschi, 1998, TOPL.
G. Vidal, Juan José González-Abril, 2021, International Workshop/Symposium on Logic-based Program Synthesis and Transformation.
Germán Vidal, Naoki Nishida, Adrián Palacios, 2017, J. Log. Algebraic Methods Program..
Germán Vidal, Akihisa Yamada, Naoki Nishida, 2016, Journal of Automated Reasoning.
Germán Vidal, Akihisa Yamada, Naoki Nishida, 2015, CADE.
Germán Vidal, G. Vidal, 2012, 2012 IEEE 12th International Working Conference on Source Code Analysis and Manipulation.
Germán Vidal, Naoki Nishida, José Iborra, 2009, LOPSTR.
Germán Vidal, Salvador Tamarit, Gustavo Arroyo, 2009, LOPSTR.
Germán Vidal, Josep Silva, J. Guadalupe Ramos, 2007, Inf. Process. Lett..
María Alpuente, Germán Vidal, Pascual Julián Iranzo, 2003, J. Log. Comput..
Germán Vidal, Elvira Albert, Sergio Antoy, 2000, LOPSTR.
María Alpuente, Germán Vidal, Ginés Moreno, 1999, Fuji International Symposium on Functional and Logic Programming.
Germán Vidal, Naoki Nishida, G. Vidal, 2014, J. Log. Algebraic Methods Program..
María Alpuente, Germán Vidal, Moreno Falaschi, 1994, Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94).
Germán Vidal, Jesús Manuel Almendros-Jiménez, G. Vidal, 2006, IFL.
Germán Vidal, Naoki Nishida, G. Vidal, 2011, RTA.
Germán Vidal, Naoki Nishida, G. Vidal, 2012, LOPSTR.
Germán Vidal, Naoki Nishida, G. Vidal, 2010, Applicable Algebra in Engineering, Communication and Computing.
María Alpuente, Germán Vidal, Pascual Julián Iranzo, 1997, PEPM.
María Alpuente, Germán Vidal, Ginés Moreno, 1997, APPIA-GULP-PRODE.
María Alpuente, Germán Vidal, Moreno Falaschi, 1993, PLILP.
María Alpuente, Germán Vidal, Pascual Julián Iranzo, 1996, APPIA-GULP-PRODE.
María Alpuente, Germán Vidal, Moreno Falaschi, 1993, GULP.
Germán Vidal, Michael Hanus, Bernd Brassel, 2004, LOPSTR.
Germán Vidal, Elvira Albert, E. Albert, 2001, LOPSTR.
María Alpuente, Germán Vidal, Moreno Falaschi, 1994, ALP.
Wim Vanhoof, Gilles Perrouin, Fred Mesnard, 2020, FLOPS.
Ivan Lanese, Irek Ulidowski, Germán Vidal, 2020, Selected Results of the COST Action IC1405.