Sfoglia per Autore
On some properties of recursively enmerable equivalence relation
1989-01-01 Baratella, Stefano
Karp's interpolation theorem for some classes of infinitary languages
1989-01-01 Baratella, Stefano
Models of Clark's completion for some classes of logic programs
1991-01-01 Baratella, Stefano
A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses
1992-01-01 Baratella, Stefano
A theory of sets with the negation of the axiom of infinity
1993-01-01 Baratella, Stefano; R., Ferro
A class of programs for which SLDNF resolution and NAF rule are complete
1993-01-01 Baratella, Stefano
A modal approach to negation as failure rule
1994-01-01 Baratella, Stefano
Nonstandard regular finite set theory
1995-01-01 Baratella, Stefano; R., Ferro
A parallel game semantics for linear logic
1997-01-01 Baratella, Stefano; S., Berardi
Modules over the dihedral algebras
1997-01-01 Baratella, Stefano; M., Prest
Constructivization via approximations and examples
1998-01-01 Baratella, Stefano; S., Berardi
Yet another constructivization of classical logic
1998-01-01 Baratella, Stefano; S., Berardi
Approximating classical theorems
1998-01-01 Baratella, Stefano; S., Berardi
Fixed points in the nonstandard hull of a Banach space.
1998-01-01 Baratella, Stefano; S. A., Ng
The theory of ${f Z}C(2)sp 2$-lattices is decidable.
1998-01-01 Baratella, Stefano; C., Toffalori
Neocompact Quantifier Elimination in Structures based on Banach Spaces
2001-01-01 Baratella, Stefano; S. A., Ng
Model-theoretic properties of Banach spaces
2002-01-01 Baratella, Stefano; Ng, S. A.
A nonstandard proof of the Eberlein-Smulian theorem
2003-01-01 Baratella, Stefano; S. A., Ng
Consequences of neocompact quantifier elimination
2003-01-01 Baratella, Stefano; S. A., Ng
A proof-theoretic investigation of a logic of positions
2003-01-01 Baratella, Stefano; A., Masini
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile