Logo Logo
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: 2020
Anzahl der Publikationen: 1

2020

Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre und Mindt, Felix (2020): Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. In: Dynamic Logic: New Trends and Applications, Dali 2019, Bd. 12005: S. 19-34

Diese Liste wurde am Sun Nov 24 00:26:51 2024 CET erstellt.