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