Jorge Miguel Soares Ramos


AuthID: R-00H-73M

Publications Awaiting Confirmation

1
TITLE: Extending the Quantitative Pattern-Matching Paradigm
AUTHORS: Sandra Alves; Delia Kesner; Miguel Ramos;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2408.11007
INDEXED IN: DBLP
IN MY: DBLP
2
TITLE: Quantitative Global Memory
AUTHORS: Alves, Sandra ; Kesner, Delia; Ramos, Miguel;
PUBLISHED: 2023, SOURCE: 29th International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2023, VOLUME: 13923
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service