Juan Carlos González Moreno

Juan Carlos González Moreno

Universidade de Vigo - Pontevedra / Spain
Engineering & Technology / Computer Science
AD Scientific Index ID: 4356710
University of Vigo
person_outline Juan Carlos González Moreno's MOST POPULAR ARTICLES
1-) An approach to declarative programming based on a rewriting logicJC González-Moreno, MT Hortala-Gonzalez, FJ Lopez-Fraguas, ...The Journal of Logic Programming 40 (1), 47-87, 19992351999
2-) A higher order rewriting logic for functional logic programmingJC González-Moreno, MT Hortalá-González, M Rodrıguez-ArtalejoProc. of the Fourteenth International Conference on Logic Programming (ICLP …, 1997871997
3-) A rewriting logic for declarative programmingJC González-Moreno, MT Hortalá-González, FJ López-Fraguas, ...European Symposium on Programming, 156-172, 1996731996
4-) Semantics and types in functional logic programmingJC González-Moreno, MT Hortalá-González, M Rodríguez-ArtalejoFunctional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 …, 1999571999
5-) On the completeness of narrowing as the operational semantics of functional logic programmingJ González-Moreno, M Hortalá-González, M Rodríguez-ArtalejoComputer Science Logic, 216-230, 1993521993