zweidimensionales bewegtes Bild
On Higher-Order Cryptography: Q/A Session B - Paper B4.D
- Standort
-
Hannover TIB
- Umfang
-
47MB, 00:23:01:18 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
47th International Colloquium on Automata, Languages and Programming (ICALP) 2020 ; (Jan. 2020)
- Ereignis
-
Veröffentlichung
- (wer)
-
Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
- (wann)
-
2020-01-01
- Beteiligte Personen und Organisationen
-
Lago, Ugo Dal
Barak, Boaz
Crubillé, Raphaëlle
- DOI
-
10.5446/49368
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Lago, Ugo Dal
- Barak, Boaz
- Crubillé, Raphaëlle
- Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
Entstanden
- 2020-01-01
Ähnliche Objekte (12)
Higher-order masked ciphertext comparison for lattice-based cryptography
Characteristic bisimulation for higher-order session processes
Higher-order computability
Higher-Order Tableaux
Higher-order learning
Higher-order misinformation
The Integers as a Higher Inductive Type: Q/A Session E - Paper E5.B
Constructing Higher Inductive Types as Groupoid Quotients: Q/A Session B - Paper B5.E
Panel Session Day Two: Q&A
Polarized higher-order subtyping
Explaining Higher-order Defeat
Exploring higher-order risk effects
Higher-order masked ciphertext comparison for lattice-based cryptography
Characteristic bisimulation for higher-order session processes
Higher-order computability
Higher-Order Tableaux
Higher-order learning
Higher-order misinformation
The Integers as a Higher Inductive Type: Q/A Session E - Paper E5.B
Constructing Higher Inductive Types as Groupoid Quotients: Q/A Session B - Paper B5.E
Panel Session Day Two: Q&A
Polarized higher-order subtyping
Explaining Higher-order Defeat
Exploring higher-order risk effects
Higher-order masked ciphertext comparison for lattice-based cryptography
Characteristic bisimulation for higher-order session processes
Higher-order computability
Higher-Order Tableaux
Higher-order learning
Higher-order misinformation
The Integers as a Higher Inductive Type: Q/A Session E - Paper E5.B
Constructing Higher Inductive Types as Groupoid Quotients: Q/A Session B - Paper B5.E
Panel Session Day Two: Q&A
Polarized higher-order subtyping
Explaining Higher-order Defeat