- Location
-
Hannover TIB
- Extent
-
341MB, 00:17:19:06 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
30th European Symposium on Programming, ESOP 2021 ; (Jan. 2021)
- Event
-
Veröffentlichung
- (who)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (when)
-
2021-01-01
- Contributor
-
Orchard, Dominic
Eades, Harley
Moon, Benjamin
- DOI
-
10.5446/55057
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Orchard, Dominic
- Eades, Harley
- Moon, Benjamin
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Time of origin
- 2021-01-01
Other Objects (12)
Formalizing Cartan Geometry in Modal Homotopy Type Theory
Graded orders
Auslander-Reiten theory for simply connected differential graded algebras
Auslander-Reiten theory for simply connected differential graded algebras
Coalgebras, clone theory, and modal logic
Coalgebras, clone theory, and modal logic
Multimodal Dependent Type Theory: Q/A Session B - Paper B5.A
Labelled propositional modal logics : theory and practice
Instationary modal Analysis for Impulse-type stimulated structures
Eph receptor clustering is the central integrator in eliciting graded kinase-dependent signaling responses
Eph receptor clustering is the central integrator in eliciting graded Kinase-dependent signaling responses
Simple graded commutative algebras
Formalizing Cartan Geometry in Modal Homotopy Type Theory
Graded orders
Auslander-Reiten theory for simply connected differential graded algebras
Auslander-Reiten theory for simply connected differential graded algebras
Coalgebras, clone theory, and modal logic
Coalgebras, clone theory, and modal logic
Multimodal Dependent Type Theory: Q/A Session B - Paper B5.A
Labelled propositional modal logics : theory and practice
Instationary modal Analysis for Impulse-type stimulated structures
Eph receptor clustering is the central integrator in eliciting graded kinase-dependent signaling responses
Eph receptor clustering is the central integrator in eliciting graded Kinase-dependent signaling responses
Simple graded commutative algebras
Formalizing Cartan Geometry in Modal Homotopy Type Theory
Graded orders
Auslander-Reiten theory for simply connected differential graded algebras
Auslander-Reiten theory for simply connected differential graded algebras
Coalgebras, clone theory, and modal logic
Coalgebras, clone theory, and modal logic
Multimodal Dependent Type Theory: Q/A Session B - Paper B5.A
Labelled propositional modal logics : theory and practice
Instationary modal Analysis for Impulse-type stimulated structures
Eph receptor clustering is the central integrator in eliciting graded kinase-dependent signaling responses
Eph receptor clustering is the central integrator in eliciting graded Kinase-dependent signaling responses