ML Anthology

Symeonidou, Ioanna

1 publications

IJCAI 2018 The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs Panos Rondogiannis, Ioanna Symeonidou