Publicações

AuthID
P-01A-CA7

Author(s)

Freire, AR

Tipo de Documento

Proceedings Paper

Year published

2025

Publicado

in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSN: 2075-2180

Volume: 430, Número: 430, Páginas: 26-36 (11)

Conference

20Th International Symposium on Logical and Semantic Frameworks with Applications (Lsfa), Date: OCT 07-08, 2025, Location: Brasilia, BRAZIL

Indexing

Wos^®

Scopus^®

Google Scholar^®

Publication Identifiers

DOI: 10.4204/eptcs.430.3

DBLP: journals/corr/abs-2509-25882

SCOPUS: 2-s2.0-105018799422

Wos: WOS:001696440800009

Source Identifiers

ISSN: 2075-2180

Export Publication Metadata

Lista Marked

Info

At this moment we don't have any links to full text documens.

Links Úteis