From conventional to institution-independent logic programming. / Tutu, Ionut; Fiadeiro, José Luiz.
In: Journal of Logic and Computation, Vol. 27, No. 6, 01.09.2017, p. 1679-1716.Research output: Contribution to journal › Article › peer-review
Original language | English |
---|---|
Pages (from-to) | 1679-1716 |
Number of pages | 38 |
Journal | Journal of Logic and Computation |
Volume | 27 |
Issue number | 6 |
Early online date | 4 Jun 2015 |
DOIs | |
Publication status | Published - 1 Sep 2017 |
ID: 18150435