Baratella, Stefano

Baratella, Stefano  

Matematica (29/10/12-)  

Mostra records
Risultati 1 - 20 di 37 (tempo di esecuzione: 0.033 secondi).
Titolo Anno di pubblicazione Autori Unitn File
A class of programs for which SLDNF resolution and NAF rule are complete 1-gen-1993 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 modal approach to negation as failure rule 1-gen-1994 Baratella, Stefano
A nonstandard proof of the Eberlein-Smulian theorem 1-gen-2003 Baratella, Stefano +
A note on unbounded metric temporal logic over dense time domains 1-gen-2006 Baratella, StefanoMasini, Andrea
A parallel game semantics for linear logic 1-gen-1997 Baratella, Stefano +
A proof-theoretic investigation of a logic of positions 1-gen-2003 Baratella, Stefano +
A theory of sets with the negation of the axiom of infinity 1-gen-1993 Baratella, Stefano +
A way of making world quantification explicit 1-gen-2004 Baratella, Stefano +
An approach to infinitary temporal proof theory 1-gen-2004 Baratella, Stefano +
An infinitary variant of Metric Temporal Logic over dense time domains 1-gen-2004 Baratella, Stefano +
Approximating classical theorems 1-gen-1998 Baratella, Stefano +
A completeness theorem for continuous predicate modal logic 1-gen-2019 Stefano Baratella
Consequences of neocompact quantifier elimination 1-gen-2003 Baratella, Stefano +
Constructivization via approximations and examples 1-gen-1998 Baratella, Stefano +
Continuous propositional modal logic 1-gen-2018 Stefano Baratella
Fixed points in the nonstandard hull of a Banach space. 1-gen-1998 Baratella, Stefano +
An infinitary propositional probability logic 1-gen-2022 Baratella Stefano
Isometry games in Banach spaces 1-gen-2008 Baratella, Stefano +
Karp's interpolation theorem for some classes of infinitary languages 1-gen-1989 Baratella, Stefano