Collaboration with Ekaterina Comendantskaya

Power, John (PI)

Department of Computer Science

Project: UK charity

Project Details

Status	Finished
Effective start/end date	1/08/17 → 31/07/18

Funding

London Mathematical Society

1 Article

Logic programming: Laxness and saturation
Komendantskaya, E. & Power, A., 1 Dec 2018, In : Journal of Logical and Algebraic Methods in Programming. 101, p. 1-21 21 p.
Research output: Contribution to journal › Article

Open Access
File
2 Citations (Scopus)

25 Downloads (Pure)