HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:higher-order logic programming

Papers
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
Angelos Charalambidis, Panos Rondogiannis and Ioanna Symeonidou
EasyChair Preprint no. 193
Copyright © 2012-2021 easychair.org. All rights reserved.