Collaboration with Ekaterina Comendantskaya

Research output

Research output per year 2018 2018 2018

• 1 Article

Research output per year

Research output per year

Search results

• 2018

  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

  • Logic Programming 100%
  • coalgebra 40%
  • Theorem Proving 20%
  • Existential Variable 20%
  • Atomic Proposition 20%
  4 Citations (SciVal)

  63 Downloads (Pure)