IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 38 di 38
Titolo Anno di pubblicazione Autori Unitn File
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 +
A way of making world quantification explicit 1-gen-2004 Baratella, Stefano +
A note on unbounded metric temporal logic over dense time domains 1-gen-2006 Baratella, StefanoMasini, Andrea
Isometry games in Banach spaces 1-gen-2008 Baratella, Stefano +
Quantum coherent spaces and linear logic 1-gen-2010 Baratella, Stefano
Some properties of nonstandard hulls of Banach algebras 1-gen-2011 Baratella, Stefano +
A natural deduction system for bundled branching time logic. 1-gen-2013 Baratella, Stefano +
The Real truth 1-gen-2015 Baratella, StefanoZambella, Domenico
Preservation of properties in nonstandard hulls of C*-algebras 1-gen-2015 Baratella, Stefano
A note on infinitary continuous logic 1-gen-2015 Baratella, Stefano
A predicate extension of real valued logic 1-gen-2017 Baratella, Stefano
Continuous propositional modal logic 1-gen-2018 Stefano Baratella
A completeness theorem for continuous predicate modal logic 1-gen-2019 Stefano Baratella
A two-dimensional metric temporal logic 1-gen-2020 Baratella, StefanoMasini, Andrea
Nonstandard hulls of C*-algebras and their applications 1-gen-2021 Baratella Stefano
An infinitary propositional probability logic 1-gen-2022 Baratella Stefano
A finitary outer measure logic 1-gen-2023 Baratella, Stefano
Mostrati risultati da 21 a 38 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