![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Konferenzbeitrag
Anzahl der Publikationen: 6
Zeitschriftenartikel
Hennicker, Rolf und Knapp, Alexander
(2022):
Specification of systems with parameterised events: An institution-independent approach.
In: Journal of Logical and Algebraic Methods in Programming, Bd. 128, 100791
Wirsing, Martin und Knapp, Alexander
(2022):
A Reduction-based Cut-free Gentzen Calculus for Dynamic Epistemic Logic.
In: Logic Journal of the Igpl, Bd. 31, Nr. 6: S. 1047-1068
Hennicker, Rolf; Knapp, Alexander und Madeira, Alexandre
(2021):
Observational interpretations of hybrid dynamic logic with binders and silent transitions.
In: Journal of Logical and Algebraic Methods in Programming, Bd. 122, 100698
Hennicker, Rolf; Knapp, Alexander und Madeira, Alexandre
(2021):
Hybrid dynamic logic institutions for event/data-based systems.
In: Formal Aspects of Computing, Bd. 33, Nr. 6: S. 1209-1248
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
Konferenzbeitrag
Knapp, Alexander; Hennicker, Rolf und Madeira, Alexandre
:
Specifying Event/Data-based Systems.
20th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), Augsburg, Germany, 03.-06. April 2023.
Glück, Roland; Santocanale, Luigi und Winter, Michael (Hrsg.):
In: Relational and Algebraic Methods in Computer Science : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings, Lecture Notes in Computer Science
Bd. 13896
Cham, Switzerland: Springer.
XII-XII