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

Author/Creator NOMIKOS, CHRISTOS

1. Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective. Issue 5 (1st September 2022)

Authors:: CHARALAMBIDIS, ANGELOS; NOMIKOS, CHRISTOS; RONDOGIANNIS, PANOS
Journal:: Theory and practice of logic programming
Issue:: Volume 22:Issue 5(2022)
Page Start:: 708
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. The Expressive Power of Higher-Order Datalog. Issue 5 (September 2019)

Authors:: CHARALAMBIDIS, ANGELOS; NOMIKOS, CHRISTOS; RONDOGIANNIS, PANOS
Journal:: Theory and practice of logic programming
Issue:: Volume 19:Issue 5/6(2019)
Page Start:: 925
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗