ProfileOfResearchers

Publications
Researchers
Institutions

0
Sign In
- Federated Authentication (Click on the image)
  
  Local Sign In Password Recovery Register

Luiz Gustavo de Sa

AuthID: R-00M-0C6

Publications
Confirmed
To Validate

Document Source:

Document Type:

Year Start - End:

-

Order:

Results:

Confirmed Publications: 1

1

TITLE: Intuitionistic Metric Temporal Logic
AUTHORS: de Sa, Luiz ; Toninho, Bernardo ; Pfenning, Frank ;
PUBLISHED: 2023, SOURCE: 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

INDEXED IN:

Scopus

WOS

DBLP

Unpaywall

Publication Export Settings

BibTex EndNote APA CSV PDF

Export Preview

Publication Print Settings

HTML PDF

Print Preview

Select Source

This publication has:

2 records from ISI
2 records from SCOPUS
2 records from DBLP
2 records from Unpaywall
2 records from Openlibrary
2 records from Handle

Please select which records must be used by Authenticus!

Preview Publications

footer slogan

Useful Links

About Autenticus
Our Team
Algorithm
Changelog

Get Help

FAQ
Video
Contact
support@authenticus.pt

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