Jorge Miguel Soares Ramos
AuthID: R-00H-73M
1
TÃTULO: Extending the Quantitative Pattern-Matching Paradigm
AUTORES: Sandra Alves; Delia Kesner; Miguel Ramos;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2408.11007
AUTORES: Sandra Alves; Delia Kesner; Miguel Ramos;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2408.11007
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP2
TÃTULO: Quantitative Global Memory
AUTORES: Alves, Sandra ; Kesner, Delia; Ramos, Miguel;
PUBLICAÇÃO: 2023, FONTE: 29th International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2023, VOLUME: 13923
AUTORES: Alves, Sandra ; Kesner, Delia; Ramos, Miguel;
PUBLICAÇÃO: 2023, FONTE: 29th International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2023, VOLUME: 13923
