Sistemas biortogonais em espaços de Banach - Corrêa, Maurício Rossetto; Brech, Christina (Brazilian Logic Conference - EBL 2025, 2025)