The Trace Modality

  • Veröffentlicht am: 19 Februar, 2020 - 17:18
TitelThe Trace Modality
Publication TypeConference Paper
Year of Publication2020
AuthorsSteinhöfel, D, Hähnle, R
Conference NameInternational Workshop on Dynamic Logic
Undefined