Hochschulschrift

The Expressive Power, Satisfiability and Path Checking Problems of MTL and TPTL over Non-Monotonic Data Words

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Leipzig, Universität Leipzig, Dissertation, 2016

Ereignis
Veröffentlichung
(wo)
Leipzig
(wer)
Universitätsbibliothek Leipzig
(wann)
2016
Urheber
Beteiligte Personen und Organisationen
Lohrey, Markus
Lohrey, Markus
Droste, Manfred
Droste, Manfred
Lange, Martin

URN
urn:nbn:de:bsz:15-qucosa-208823
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.03.6025, 22:39 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

  • Feng, Shiguang
  • Lohrey, Markus
  • Droste, Manfred
  • Lange, Martin
  • Universitätsbibliothek Leipzig

Entstanden

  • 2016

Ähnliche Objekte (12)