François Bry

Available identifiers

Publication	Date of Publication	Type
In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming	2020-05-04	Paper
Minimal model generation with positive unit hyper-resolution tableaux	2019-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5398038	2014-02-25	Paper
Foundations of Rule-Based Query Answering	2009-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q3045719	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4812963	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4473280	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4439689	2003-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q4414014	2003-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4799606	2003-03-25	Paper
Interactive analysis of high-dimensional association structures with graphical models.	2002-01-31	Paper
Positive unit hyperresolution tableaux and their application to minimal model generation	2001-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q4246965	2000-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q3817018	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3821629	1988-01-01	Paper
On the factorization of graphs with exactly one vertex of infinite degree	1983-01-01	Paper
On the number of 1-factors of locally finite graphs	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3347924	1983-01-01	Paper
The Edmonds-Gallai decomposition for matchings in locally finite graphs	1982-01-01	Paper
Note on a theorem of J. Folkman on transversals of infinite families with finitely many infinite members	1981-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: François Bry