Intensional logics for programming /

This volume aims to provide a theoretical basis for the use of intensional logics for the semantical analysis of logic programs and for programming in intensional logics. It is hoped that the results will have a significant impact on future developments in logic programming.

Bibliographic Details

Other Authors:	Fariñas del Cerro, Luis (Editor), Penttonen, Martti (Editor)
Format:	eBook
Language:	English
Published:	Oxford : Clarendon Press, 2023.
Series:	Studies in logic and computation ; 1.
Subjects:	Computer programming. Programmation (Informatique) computer programming. Electronic books.
Online Access:	Connect to the full text of this electronic book