Alexandre Leite de Castro Madeira
AuthID: R-001-MJP
11
TÃTULO: Recent Trends in Algebraic Development Techniques. 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers
AUTORES: Alexandre Madeira; Manuel A Martins;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science
AUTORES: Alexandre Madeira; Manuel A Martins;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science
INDEXADO EM: 
CrossRef
CrossRef12
TÃTULO: Applying abstract algebraic logic to classical automata theory : an exercise
AUTORES: Luís Descalço; Alexandre Madeira; Manuel A Martins;
PUBLICAÇÃO: 2010
AUTORES: Luís Descalço; Alexandre Madeira; Manuel A Martins;
PUBLICAÇÃO: 2010
INDEXADO EM: 
Handle
Handle