Dorella Bellè

Available identifiers

zbMath Open belle.dorellaMaRDI QIDQ1409303

List of research outcomes

Publication	Date of Publication	Type
Decidability of \(\exists^*\forall\forall\)-sentences in HF	2010-01-13	Paper
Truth In V for ∃*∀∀-Sentences is Decidable	2007-01-19	Paper
The decidability of the \(\forall ^*\exists\) class and the axiom of foundation	2003-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q4896519	1997-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4893143	1996-11-07	Paper
Decidability and completeness for open formulas of membership theories	1996-05-13	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: Dorella Bellè