HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Ioanna Symeonidou

Publications
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
Angelos Charalambidis, Panos Rondogiannis and Ioanna Symeonidou
EasyChair Preprint 193

Keyphrases

Approximation Fixpoint Theory, higher-order logic programming, Negation in Logic Programming.

Copyright © 2012-2025 easychair.org. All rights reserved.