Reasoning with Higher Order Partial Functions

Antonio Gavilanes-Franco, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo. Reasoning with Higher Order Partial Functions. In Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter, editors, Computer Science Logic, 6th Workshop, CSL 92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers. Volume 702 of Lecture Notes in Computer Science, pages 167-181, Springer, 1992.

Authors

Antonio Gavilanes-Franco

This author has not been identified. Look up 'Antonio Gavilanes-Franco' in Google

Francisca Lucio-Carrasco

This author has not been identified. Look up 'Francisca Lucio-Carrasco' in Google

Mario Rodríguez-Artalejo

This author has not been identified. Look up 'Mario Rodríguez-Artalejo' in Google