Alexandre Madeira

No bio available. Add one in Open Library.

Books by Alexandre Madeira (50 max)

+ shelf+ list

Dynamic Logic. New Trends and Applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

2018

Alexandre Madeira, Mário Benevides

+ shelf+ list

Recent Trends in Algebraic Development Techniques 26th IFIP WG 1. 3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

2023

Alexandre Madeira, Manuel A. Martins