Dorella Bellè

According to our database¹, Dorella Bellè authored at least 4 papers between 1995 and 2008.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2008

Decidability of ∃*∀∀-sentences in HF.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2008

2006

Truth in V for ∃*∀∀-sentences is decidable.

[BibT_eX]

[DOI]

J. Symb. Log., 2006

2001

The Decidability of the ∀*∃ Class and the Axiom of Foundation.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2001

1995

Decidability and Completeness for Open Formulas of Membership Theories.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1995