zweidimensionales bewegtes Bild
Algebraic models of simple type theories: a polynomial approach: Q/A Session E - Paper E5.D
- Standort
-
Hannover TIB
- Umfang
-
42MB, 00:25:22:25 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 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
-
Arkor, Nathanael
- DOI
-
10.5446/49311
- 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
- Arkor, Nathanael
- Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
Entstanden
- 2020-01-01
Ähnliche Objekte (12)
Algebraic theories
Simple polynomial chaotic models
On polynomial recursive sequences: Q/A Session A - Paper A4.C
Simple singularities and simple algebraic groups
Polynomial representations of GrT, simple polynomial modules and polynomial parts of Auslander-Reiten components
Stable homotopy of algebraic theories
Stable homotopy of algebraic theories
Sparse Recovery for Orthogonal Polynomial Transforms: Q/A Session B - Paper B3.B
![Qa- [Qa-]](https://iiif.deutsche-digitale-bibliothek.de/image/2/ad9b8567-c447-46da-a7ba-53b4975e74ba/full/!306,450/0/default.jpg)
Qa- [Qa-]
Simple morphisms in algebraic geometry
Polynomial system solving for decoding linear codes and algebraic cryptanalysis
Invariant Algebraic Surfaces of Polynomial Vector Fields in Dimension Three
Algebraic theories
Simple polynomial chaotic models
On polynomial recursive sequences: Q/A Session A - Paper A4.C
Simple singularities and simple algebraic groups
Polynomial representations of GrT, simple polynomial modules and polynomial parts of Auslander-Reiten components
Stable homotopy of algebraic theories
Stable homotopy of algebraic theories
Sparse Recovery for Orthogonal Polynomial Transforms: Q/A Session B - Paper B3.B
Qa- [Qa-]
Simple morphisms in algebraic geometry
Polynomial system solving for decoding linear codes and algebraic cryptanalysis
Invariant Algebraic Surfaces of Polynomial Vector Fields in Dimension Three
Algebraic theories
Simple polynomial chaotic models
On polynomial recursive sequences: Q/A Session A - Paper A4.C
Simple singularities and simple algebraic groups
Polynomial representations of GrT, simple polynomial modules and polynomial parts of Auslander-Reiten components
Stable homotopy of algebraic theories
Stable homotopy of algebraic theories
Sparse Recovery for Orthogonal Polynomial Transforms: Q/A Session B - Paper B3.B
Qa- [Qa-]
Simple morphisms in algebraic geometry
Polynomial system solving for decoding linear codes and algebraic cryptanalysis