Informationen zu „Inproceedings3328“

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Basisinformationen

AnzeigetitelPresburger Büchi Tree Automata with Applications to Logics with Expressive Counting
StandardsortierschlüsselInproceedings3328
Seitenlänge (in Bytes)1.457
Seitenkennnummer13797
Seiteninhaltssprachede - Deutsch
SeiteninhaltsmodellWikitext
Indizierung durch SuchmaschinenErlaubt
Anzahl der Weiterleitungen zu dieser Seite1
Gezählt als eine InhaltsseiteJa

Seitenschutz

BearbeitenAlle Benutzer (unbeschränkt)
VerschiebenAlle Benutzer (unbeschränkt)
Das Seitenschutz-Logbuch für diese Seite ansehen.

Versionsgeschichte

SeitenerstellerBartosz Bednarczyk (Diskussion | Beiträge)
Datum der Seitenerstellung12:47, 25. Jun. 2022
Letzter BearbeiterBartosz Bednarczyk (Diskussion | Beiträge)
Datum der letzten Bearbeitung19:12, 9. Sep. 2022
Gesamtzahl der Bearbeitungen4
Gesamtzahl unterschiedlicher Autoren1
Anzahl der kürzlich erfolgten Bearbeitungen (in den letzten 90 Tagen)0
Anzahl unterschiedlicher Autoren der kürzlich erfolgten Bearbeitungen0

Seiteneigenschaften

Magisches Wort (1)
  • __KEIN_INHALTSVERZEICHNIS__
Eingebundene Vorlagen (20)

Folgende Vorlagen werden auf dieser Seite verwendet: