Termination of narrowing: automated proofs and modularity properties
Tesis doctoral de José Iborra López In 1936, alan turing proved that the halting problem, that is, deciding whether a […]
Tesis doctoral de germán Vidal oriola
Información academica germán Vidal oriola. Tesis donde germán Vidal oriola ha sido autor, director o parte del tribunal.
Multi-paradigm learning of declarative models
Tesis doctoral de César Ferri Ramírez Muchas de las aproximaciones para conseguir un comportamiento inteligente de los sistemas informáticos se
Una aproximación al fallo en programación declarativa multiparadigma
Tesis doctoral de Jaime Sánchez Hernández La negación en programación lógica es un tema ampliamente investigado desde los inicios de
Partial evaluatión of multi-paradigm declarative languaces: foundations, control, algorithms and efficiency
Tesis doctoral de Elvira Albert Albiol La evaluación parcial es una técnica automática que consigue optimizar programas garantizando que su
Analisis semantico y transformacion de programas logico-funcionales
Tesis doctoral de German Vidal Oriola El problema de la integracion de la programacion logica y funcional esta considerado como