Skip to Content
STAX
Toggle navigation
STAX
Accesso
Casa
Di
Aiuto
contatto
Cerca STAX
Partire
Ricerca
Cancellare i filtri
Filtro per:
Creatore
Allais, Guillaume Xavier
Cancella il filtro Creatore: Allais, Guillaume Xavier
1
termine di ricerca trovato
Ordina per relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Risultati per pagina
10 per pagina
10
per pagina
20
per pagina
50
per pagina
100
per pagina
Visualizza i risultati come:
Lista
Galleria
Slideshow
Risultati della ricerca
Syntaxes with binding, their programs, and proofs
Creatore:
Allais, Guillaume Xavier
Data:
2022
Department, School or Faculty:
Department of Computer and Information Sciences
Toggle facets
Affina la ricerca
genere
Thesis
1
Tipo di risorsa
Doctoral thesis
1
Creatore
Allais, Guillaume Xavier
[remove]
1
Collaboratore
McBride, Conor
1
Dipartimento, Scuola o Facoltà
Department of Computer and Information Sciences
1
Data
2022
1