Collaboration with Ekaterina Comendantskaya

  • Power, John, (PI)

Project: UK charity

Project Details

StatusFinished
Effective start/end date1/08/1731/07/18

Funding

  • London Mathematical Society

Research Output

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 journalArticle

Open Access
File
  • 17 Downloads (Pure)