Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Galeotti, Lorenzo
69  Ergebnisse:
Personensuche X
?
1

Transcranial Doppler Ultrasound and Transesophageal Echocar..:

Bianchini, Amedeo ; Vitale, Giovanni ; Romano, Stefano...
Applied Sciences.  14 (2024)  11 - p. 4590 , 2024
Link: https://doi.org/10.3390/..
 
?
2

Twenty Years of Theoretical and Practical Synergies: 20th C.. 

Lecture Notes in Computer Science, 14773
Levy Patey, Ludovic ; Pimentel, Elaine ; Galeotti, Lorenzo. - 1st ed. 2024 . , 2024
Link: https://doi.org/10.1007/..
 
?
3

Realisability for infinitary intuitionistic set theory:

Carl, Merlin ; Galeotti, Lorenzo ; Passmann, Robert
Annals of Pure and Applied Logic.  174 (2023)  6 - p. 103259 , 2023
Link: https://doi.org/10.1016/..
 
?
4

Symmetry for Transfinite Computability:

, In: Lecture Notes in Computer Science; Unity of Logic and Computation,
Galeotti, Lorenzo ; Lewis, Ethan S. ; Löwe, Benedikt - p. 65-76 , 2023
Link: https://doi.org/10.1007/..
 
?
5

ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC:

GALEOTTI, LORENZO ; LÖWE, BENEDIKT
The Bulletin of Symbolic Logic.  28 (2022)  2 - p. 182-206 , 2022
Link: https://doi.org/10.1017/..
 
?
6

ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC:

GALEOTTI, LORENZO ; LÖWE, BENEDIKT
The Bulletin of Symbolic Logic.  28 (2022)  2 - p. 182-206 , 2022
Link: https://www.jstor.org/st..
 
?
7

Randomising Realizability:

, In: Lecture Notes in Computer Science; Connecting with Computability,
Carl, Merlin ; Galeotti, Lorenzo ; Passmann, Robert - p. 82-93 , 2021
Link: https://doi.org/10.1007/..
 
?
8

The theory of the generalised real numbers and other topics..:

Galeotti, Lorenzo , 2019
Link: https://nbn-resolving.de..
 
?
9

Surreal Blum-Shub-Smale Machines:

, In: Computing with Foresight and Industry; Lecture Notes in Computer Science,
Galeotti, Lorenzo - p. 13-24 , 2019
Link: https://doi.org/10.1007/..
 
?
10

The Theory of the Generalised Real Numbers and Other Topics..:

Galeotti, Lorenzo
The Bulletin of Symbolic Logic.  25 (2019)  4 - p. 449-450 , 2019
Link: https://doi.org/10.1017/..
 
?
11

CONSIDERAZIONI SUL CARRO A DUE RUOTE NELL'ETRURIA E NEL LAT..:

Galeotti, Lorenzo
Archeologia Classica.  38/40 (1986)  - p. 94-104 , 1986
Link: https://www.jstor.org/st..
 
?
12

Symmetry for transfinite computability:

Galeotti, Lorenzo ; Lewis, Ethan S ; Löwe, Benedikt
http://arxiv.org/abs/2302.06444.  , 2023
Link: http://arxiv.org/abs/230..
 
?
13

Randomising Realisability:

Carl, Merlin ; Galeotti, Lorenzo ; Passmann, Robert
http://arxiv.org/abs/2101.12656.  , 2021
Link: http://arxiv.org/abs/210..
 
?
14

Bounded Symbiosis and Upwards Reflection:

Galeotti, Lorenzo ; Khomskii, Yurii ; Väänänen, Jouko
http://arxiv.org/abs/2007.14718.  , 2020
Link: http://arxiv.org/abs/200..
 
?
15

Resetting Infinite Time Blum-Shub-Smale-Machines:

Carl, Merlin ; Galeotti, Lorenzo
http://arxiv.org/abs/2001.07133.  , 2020
Link: http://arxiv.org/abs/200..
 
1-15