1. A Linear Logic Programming Language for Concurrent Programming over Graph Structures. Issue 4 (21st July 2014) Authors: CRUZ, FLAVIO; ROCHA, RICARDO; GOLDSTEIN, SETH COPEN; PFENNING, FRANK; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 493 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Introduction to the 33rd international conference on logic programming special issue. Issue 5 (6th October 2017) Authors: ROCHA, RICARDO; SON, TRAN CAO Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 684 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores. Issue 5 (14th October 2016) Authors: SANTOS, JÕAO; ROCHA, RICARDO Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 899 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Table space designs for implicit and explicit concurrent tabled evaluation. Issue 5 (27th July 2018) Authors: AREIAS, MIGUEL; ROCHA, RICARDO Journal: Theory and practice of logic programming Issue: Volume 18:Issue 5/6(2018) Page Start: 950 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Tabling, Rational Terms, and Coinduction Finally Together!. Issue 4 (21st July 2014) Authors: MANTADELIS, THEOFRASTOS; ROCHA, RICARDO; MOURA, PAULO; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 429 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗