Christine Froidevaux

From MaRDI portal
Person:673392

Available identifiers

zbMath Open froidevaux.christineMaRDI QIDQ673392

List of research outcomes





PublicationDate of PublicationType
Completing SBGN-AF Networks by Logic-Based Hypothesis Finding2015-08-06Paper
https://portal.mardi4nfdi.de/entity/Q42443061999-05-30Paper
Graded hypothesis theories1997-02-28Paper
A linear logic approach to consistency preserving updates1996-11-10Paper
https://portal.mardi4nfdi.de/entity/Q46928011993-06-05Paper
https://portal.mardi4nfdi.de/entity/Q46928021993-06-05Paper
General logical databases and programs: Default logic semantics and stratification1992-06-25Paper
Negation by default and unstratifiable logic programs1991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33285101983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39532051982-01-01Paper

Research outcomes over time

This page was built for person: Christine Froidevaux

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