Luiz Gustavo de Sa


AuthID: R-00M-0C6

Confirmed Publications: 1



1
TITLE: Intuitionistic Metric Temporal Logic
AUTHORS: Luiz De Sá ; Bernardo Toninho ; Frank Pfenning ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Principles and Practice of Declarative Programming, PPDP 2023 - As part of the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, including LOPSTR 2023 in International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023
INDEXED IN: Scopus DBLP CrossRef Unpaywall

A place for researchers and their institutions

Useful Links

Get Help

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