Risultati della ricerca - Masters, Jake
- Mostra 1 - 2 risultati su 2
-
1
Logic of Sets with Atoms Autoría: Masters, Jake
Pubblicazione 2025Fuente: arXivTipo de material: PreprintAcceso al recurso -
2
Asynchronous Global Protocols, Precisely: Full Proofs Autoría: Pischke, Kai, Masters, Jake, Yoshida, Nobuko
Pubblicazione 2025Fuente: arXivTipo de material: PreprintAcceso al recurso