Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming

Gaetano Aurelio Lanzarone, Alessandro Provetti. Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming. In José Luis Freire-Nistal, Moreno Falaschi, Manuel Vilares Ferro, editors, 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE 98, A Coruña, Spain, July 20-23, 1998. pages 201-214, 1998.

Authors

Gaetano Aurelio Lanzarone

This author has not been identified. Look up 'Gaetano Aurelio Lanzarone' in Google

Alessandro Provetti

This author has not been identified. Look up 'Alessandro Provetti' in Google