zweidimensionales bewegtes Bild

Algebraic models of simple type theories: a polynomial approach: Q/A Session E - Paper E5.D

Digitalisierung: Hannover TIB

Attribution 3.0 Germany

0
/
0

Location
Hannover TIB
Extent
42MB, 00:25:22:25 (unknown)
Language
Englisch
Notes
Audiovisuelles Material

Bibliographic citation
Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020)

Event
Veröffentlichung
(who)
Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
(when)
2020-01-01
Contributor
Arkor, Nathanael

DOI
10.5446/49311
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.

Object type

  • zweidimensionales bewegtes Bild

Associated

  • Arkor, Nathanael
  • Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)

Time of origin

  • 2020-01-01

Other Objects (12)