Processing temporal and atemporal declarative knowledge in metalogic programming

Lanzarone, G.A. and Provetti, Alessandro (1998) Processing temporal and atemporal declarative knowledge in metalogic programming. In: Freire-Nistal, J.L. and Falaschi, M. and Ferro, M.V. (eds.) 1998 Joint Conference on Declarative Programming: APPIA-GULP-PRODE 98. APPIA-GULP-PRODE, pp. 201-214.

Full text not available from this repository.

Official URL: https://www.programmazionelogica.it/wp-content/upl...

Metadata

Item Type:	Book Section
School:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Sarah Hall
Date Deposited:	10 Aug 2021 08:44
Last Modified:	09 Aug 2023 12:51
URI:	https://eprints.bbk.ac.uk/id/eprint/45399

Statistics

Archive Staff Only (login required)