Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/08/17 → 31/07/18 |
Funding
- London Mathematical Society
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Research output
- 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 AccessFile4 Link opens in a new tab Citations (SciVal)91 Downloads (Pure)