zweidimensionales bewegtes Bild

First-order tree-to-tree functions: Q/A Session C - Paper C5.E

Digitalisierung: Hannover TIB

Namensnennung 3.0 Deutschland

0
/
0

Standort
Hannover TIB
Umfang
26MB, 00:18:57:26 (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
Doumane, Amina
Bojańczyk, Mikołaj

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

Objekttyp

  • zweidimensionales bewegtes Bild

Beteiligte

  • Doumane, Amina
  • Bojańczyk, Mikołaj
  • Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)

Entstanden

  • 2020-01-01

Ähnliche Objekte (12)