Journal of Logical and Algebraic Methods in Programming, 2352-2208

Journal

Publications

  1. 2019
  2. Published

    Latent semantic analysis of game models using LSTMs

    Dan Ghica, Aug 2019, In: Journal of Logical and Algebraic Methods in Programming. 106, p. 39-54

    Research output: Contribution to journalArticlepeer-review

  3. 2017
  4. Published

    Stateful Applied Pi Calculus: Observational Equivalence and Labelled Bisimilarity

    Jia Liu, Eike Ritter & Mark Ryan, 1 Jun 2017, In: Journal of Logical and Algebraic Methods in Programming. 89, p. 95-149 88 p.

    Research output: Contribution to journalArticlepeer-review