Luiz Gustavo de Sa


AuthID: R-00M-0C6

Publicações Confirmadas: 1



1
TÍTULO: Intuitionistic Metric Temporal Logic
AUTORES: de Sa, Luiz ; Toninho, Bernardo ; Pfenning, Frank ;
PUBLICAÇÃO: 2023, FONTE: 25th International Symposium on Principles and Practice of Declarative Programming (PPDP) As part of the ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications - Software for Humanity (SPLASH) in PROCEEDINGS OF THE 25TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2023
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service