Collaboration with Ekaterina Comendantskaya

Power, John (PI)

Department of Computer Science

Project: UK charity

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 › peer-review

Open Access
File
4 Citations (SciVal)

29 Downloads (Pure)