Informationen zu „Phdthesis1385781006“

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

Basisinformationen

AnzeigetitelStochastic transition systems: bisimulation, logic, and composition
StandardsortierschlüsselPhdthesis1385781006
Seitenlänge (in Bytes)2.062
Seitenkennnummer15578
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

SeitenerstellerJohannes Lehmann (Diskussion | Beiträge)
Datum der Seitenerstellung14:36, 25. Feb. 2025
Letzter BearbeiterJohannes Lehmann (Diskussion | Beiträge)
Datum der letzten Bearbeitung14:46, 5. Mär. 2025
Gesamtzahl der Bearbeitungen2
Gesamtzahl unterschiedlicher Autoren1
Anzahl der kürzlich erfolgten Bearbeitungen (in den letzten 90 Tagen)2
Anzahl unterschiedlicher Autoren der kürzlich erfolgten Bearbeitungen1

Seiteneigenschaften

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

Folgende Vorlagen werden auf dieser Seite verwendet: