zweidimensionales bewegtes Bild

Efficient Analysis of VASS Termination Complexity: Q/A Session A - Paper A5.C

zu Verbundenen Objekten

Digitalisierung: Hannover TIB

Namensnennung 3.0 Deutschland

0
/
0

Standort
Hannover TIB
Umfang
65MB, 00:24:32: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
Kučera, Antonín
Leroux, Jérôme
Velan, Dominik

DOI
10.5446/49274
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.
Original beim Datenpartner anzeigen

Objekttyp

  • zweidimensionales bewegtes Bild

Beteiligte

  • Kučera, Antonín
  • Leroux, Jérôme
  • Velan, Dominik
  • Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)

Entstanden

  • 2020-01-01

Ähnliche Objekte (12)

The Termination and Complexity Competition

The Termination and Complexity Competition

Qa- [Qa-]

Abschnitt

Qa- [Qa-]

Vass, Alajos

Archivale

Vass, Alajos

Vaß, Edith

Archivale

Vaß, Edith

Vass, Franz

Personenakten

Vass, Franz

Vera Vass

Archivale

Vera Vass

Vass, Bela

Abschnitt

Vass, Bela

[Vaß - Urtheilsprecher]

Kapitel

[Vaß - Urtheilsprecher]

Doktordiplom Georg Vass

Sachakte

Doktordiplom Georg Vass

Vass, Géza S.

Akten

Vass, Géza S.

Vass-Bittler, Elisabeth

Personenakten

Vass-Bittler, Elisabeth

Vass, Ludwig * 23.12.1847

Akten

Vass, Ludwig * 23.12.1847

Verbundene Objekte