Christine Froidevaux

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Completing SBGN-AF networks by logic-based hypothesis finding Formal Methods in Macro-Biology	2015-08-06	Paper
scientific article; zbMATH DE number 1292298 (Why is no real title available?)	1999-05-30	Paper
Graded hypothesis theories Theoretical Computer Science	1997-02-28	Paper
A linear logic approach to consistency preserving updates Journal Of Logic And Computation	1996-11-10	Paper
scientific article; zbMATH DE number 194822 (Why is no real title available?)	1993-06-05	Paper
scientific article; zbMATH DE number 194823 (Why is no real title available?)	1993-06-05	Paper
General logical databases and programs: Default logic semantics and stratification Information and Computation	1992-06-25	Paper
Negation by default and unstratifiable logic programs Theoretical Computer Science	1991-01-01	Paper
scientific article; zbMATH DE number 3859084 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3859084 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3772989 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3772989 (Why is no real title available?)	1982-01-01	Paper

Research outcomes over time

This page was built for person: Christine Froidevaux