Ioanna Symeonidou

From MaRDI portal
Person:512649

Available identifiers

zbMath Open symeonidou.ioannaMaRDI QIDQ512649

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50144402021-12-02Paper
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs2018-12-04Paper
Extensional Semantics for Higher-Order Logic Programs with Negation2018-08-15Paper
The intricacies of three-valued extensional semantics for higher-order logic programs2017-11-08Paper
Equivalence of two fixed-point semantics for definitional higher-order logic programs2017-02-27Paper
Extensional Semantics for Higher-Order Logic Programs with Negation2016-11-30Paper

Research outcomes over time

This page was built for person: Ioanna Symeonidou

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:512649&oldid=7176600"
Powered by MediaWiki