FSEN 2025
Mon 7 - Tue 8 April 2025
Västerås, Sweden
Toggle navigation
Attending
Venue: Mälardalen University
Registration
Accommodations
Travelling
Tracks
FSEN 2025
Research Papers
Posters
Marjan Festschrift
Organization
FSEN 2025 Committees
General Chairs
Organizing Committee
Steering Committee
Keynote Speakers
Program Chairs
Program Committee
Publicity Chair
Track Committees
Posters
Marjan Festschrift
Contributors
People Index
Search
Series
Sign in
Sign up
FSEN 2025
(
series
) /
Research Papers
/
A Note on Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
Track
FSEN 2025 Research Papers
Tim Lyon
Technische Universität Dresden
x
Sun 22 Dec 13:23
