Cover Image

Intensional logics for programming /

Show other versions (1)

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
Description
Summary: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.
Item Description:Previously issued in print: 1992.
Physical Description:1 online resource (viii,219 pages).
Bibliography:Includes bibliographical references.
ISBN:9781383026146
1383026149