Author/Creator: SYMEONIDOU, IOANNA - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator SYMEONIDOU, IOANNA

1. Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. Issue 3 (10th August 2018)

Authors:: CHARALAMBIDIS, ANGELOS; RONDOGIANNIS, PANOS; SYMEONIDOU, IOANNA
Editors:: Dal Palu, Alessandro; Tarau, Paul
Journal:: Theory and practice of logic programming
Issue:: Volume 18:Issue 3/4(2018)
Page Start:: 421
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. The intricacies of three-valued extensional semantics for higher-order logic programs. Issue 5 (23rd August 2017)

Authors:: RONDOGIANNIS, PANOS; SYMEONIDOU, IOANNA
Editors:: Rocha, Ricardo; Cao Son, Tran
Journal:: Theory and practice of logic programming
Issue:: Volume 17:Issue 5/6(2017)
Page Start:: 974
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗