Marek A. Suchenek

Available identifiers

zbMath Open suchenek.marek-aMaRDI QIDQ1311411

List of research outcomes

Publication	Date of Publication	Type
Elementary Yet Precise Worst-Case Analysis of Floyd's Heap-Construction Program	2012-10-31	Paper
Evaluation of queries under closed-world assumption. II: The hierarchical case	2001-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4513851	2000-11-19	Paper
Evaluation of queries under closed-world assumption	1998-04-01	Paper
First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment	1995-01-29	Paper
https://portal.mardi4nfdi.de/entity/Q4273486	1994-10-31	Paper
APPLICATIONS OF LYNDON HOMOMORPHISM THEOREMS TO THE THEORY OF MINIMAL MODELS	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q3811698	1992-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3829540	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3700827	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3730011	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3959415	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3929027	1981-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marek A. Suchenek