Author/Creator: SYMEONIDOU, IOANNA / Subject: Higher-Order Logic Programming, -- Negation in Logic Programming, -- Approximation Fixpoint Theory - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator SYMEONIDOU, IOANNA Subject Higher-Order Logic Programming, -- Negation in Logic Programming, -- Approximation Fixpoint Theory

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) ↗

Search