|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 1
Zeitschriftenartikel
Pawlowski, Pawel und La Rosa, Elio
(2021):
Modular non-deterministic semantics for T, TB, S4, S5 and more.
In: Journal of Logic and Computation, Bd. 32, Nr. 1: S. 158-171