zweidimensionales bewegtes Bild
Temporal Refinements for Guarded Recursive Types
- Standort
-
Hannover TIB
- Umfang
-
125MB, 00:16:32:55 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
30th European Symposium on Programming, ESOP 2021 ; (Jan. 2021)
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Riba, Colin
Jaber, Guilhem
- DOI
-
10.5446/55070
- 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
- Riba, Colin
- Jaber, Guilhem
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Refinements of cooking
Games and full abstraction for a functional metalanguage with recursive types
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Refinements of modern speech
REFINEMENTS OF JESSEN'S INEQUALITY
Refinements of the Heinz inequalities for matrices
Time-Causal and Time-Recursive Spatio-Temporal Receptive Fields
Spatio-Temporal Data Types
Refinements of Strong Multiplicity One for GL(2)
Refinements of the Solution Theory for Singular SPDEs
Refinements of the Nash equilibrium concept
Refinements of cooking
Games and full abstraction for a functional metalanguage with recursive types
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Refinements of modern speech
REFINEMENTS OF JESSEN'S INEQUALITY
Refinements of the Heinz inequalities for matrices
Time-Causal and Time-Recursive Spatio-Temporal Receptive Fields
Spatio-Temporal Data Types
Refinements of Strong Multiplicity One for GL(2)
Refinements of the Solution Theory for Singular SPDEs
Refinements of the Nash equilibrium concept
Refinements of cooking
Games and full abstraction for a functional metalanguage with recursive types
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Refinements of modern speech
REFINEMENTS OF JESSEN'S INEQUALITY
Refinements of the Heinz inequalities for matrices
Time-Causal and Time-Recursive Spatio-Temporal Receptive Fields
Spatio-Temporal Data Types
Refinements of Strong Multiplicity One for GL(2)
Refinements of the Solution Theory for Singular SPDEs