Skip to Content
STAX
Toggle navigation
STAX
Anmeldung
Startseite
Impressum
Hilfe
Kontakt
Suche STAX
Suchen
Suchen
Filter löschen
Filtern nach:
Schöpfer
Allais, Guillaume Xavier
Filter Schöpfer: Allais, Guillaume Xavier entfernen
1
Eintrag gefunden
Ordnen nach relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Anzahl der Ergebnisse, die pro Seite angezeigt werden
10 pro Seite
10
pro Seite
20
pro Seite
50
pro Seite
100
pro Seite
Ergebnisse ansehen als:
Liste
Gallery
Slideshow
Suchergebnisse
Syntaxes with binding, their programs, and proofs
Schöpfer:
Allais, Guillaume Xavier
Datum:
2022
Department, School or Faculty:
Department of Computer and Information Sciences
Toggle facets
Suche beschränken
Art
Thesis
1
Ressourcentyp
Doctoral thesis
1
Schöpfer
Allais, Guillaume Xavier
[remove]
1
Mitwirkender
McBride, Conor
1
Abteilung, Schule oder Fakultät
Department of Computer and Information Sciences
1
Datum
2022
1