Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 38
Titolo Anno di pubblicazione Autori Unitn File
On some properties of recursively enmerable equivalence relation 1-gen-1989 Baratella, Stefano
Karp's interpolation theorem for some classes of infinitary languages 1-gen-1989 Baratella, Stefano
Models of Clark's completion for some classes of logic programs 1-gen-1991 Baratella, Stefano
A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses 1-gen-1992 Baratella, Stefano
A class of programs for which SLDNF resolution and NAF rule are complete 1-gen-1993 Baratella, Stefano
A theory of sets with the negation of the axiom of infinity 1-gen-1993 Baratella, Stefano +
A modal approach to negation as failure rule 1-gen-1994 Baratella, Stefano
Nonstandard regular finite set theory 1-gen-1995 Baratella, Stefano +
Modules over the dihedral algebras 1-gen-1997 Baratella, Stefano +
A parallel game semantics for linear logic 1-gen-1997 Baratella, Stefano +
Approximating classical theorems 1-gen-1998 Baratella, Stefano +
Fixed points in the nonstandard hull of a Banach space. 1-gen-1998 Baratella, Stefano +
The theory of ${f Z}C(2)sp 2$-lattices is decidable. 1-gen-1998 Baratella, Stefano +
Yet another constructivization of classical logic 1-gen-1998 Baratella, Stefano +
Constructivization via approximations and examples 1-gen-1998 Baratella, Stefano +
Neocompact Quantifier Elimination in Structures based on Banach Spaces 1-gen-2001 Baratella, Stefano +
Model-theoretic properties of Banach spaces 1-gen-2002 Baratella, Stefano +
Consequences of neocompact quantifier elimination 1-gen-2003 Baratella, Stefano +
A proof-theoretic investigation of a logic of positions 1-gen-2003 Baratella, Stefano +
A nonstandard proof of the Eberlein-Smulian theorem 1-gen-2003 Baratella, Stefano +
Mostrati risultati da 1 a 20 di 38
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