Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa

Tesis doctoral de Rafael Del Vado Virseda Null en la primera parte de este trabajo proponemos un nuevo marco teórico […]

, ,