IRIS

Baratella, Stefano

Baratella, Stefano  

Matematica (29/10/12-)  

Mostra records
Risultati 1 - 20 di 38 (tempo di esecuzione: 0.013 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 completeness theorem for continuous predicate modal logic 1-gen-2019 Stefano Baratella
A finitary outer measure logic 1-gen-2023 Baratella, Stefano
A modal approach to negation as failure rule 1-gen-1994 Baratella, Stefano
A natural deduction system for bundled branching time logic. 1-gen-2013 Baratella, Stefano +
A nonstandard proof of the Eberlein-Smulian theorem 1-gen-2003 Baratella, Stefano +
A note on infinitary continuous logic 1-gen-2015 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 predicate extension of real valued logic 1-gen-2017 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 two-dimensional metric temporal logic 1-gen-2020 Baratella, StefanoMasini, Andrea
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 propositional probability logic 1-gen-2023 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 +
Consequences of neocompact quantifier elimination 1-gen-2003 Baratella, Stefano +