Models of inductive-coinductive logic programs

Author(s):
Basold, Henning; Komendantskaya, Ekaterina
Editor(s):
Komendantskaya E., FrantiĊĦek F.
Published
2016
Publication type
Article in monograph or in proceedings
Date issued
2016
Language
English
Publisher
EPTCS
Is part of
Pre-Proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types (CoALP-Ty16) (2016), p. 23-24
hdl
1887/135493
URL
https://arxiv.org/abs/1612.03032

Conference

Meeting name
Workshop on Coalgebra, Horn Clause Logic Programming and Types, CoALP-Ty'16
Meeting location
Edinburgh, United Kingdom of Great Britain and Northern Ireland
Meeting date
2016-11-28 - 2016-11-29