zweidimensionales bewegtes Bild

Successor-Invariant First-Order Logic on Classes of Bounded Degree: Q/A Session D - Paper D5.C

Digitalisierung: Hannover TIB

Namensnennung 3.0 Deutschland

0
/
0

Standort
Hannover TIB
Umfang
28MB, 00:16:01:08 (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
Grange, Julien

DOI
10.5446/49300
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

  • Grange, Julien
  • Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)

Entstanden

  • 2020-01-01

Ähnliche Objekte (12)