Publications

AuthID
P-00Y-5Q1

Author(s)

Cruz, A

Editor(s)

Sobrinho,DN;Fontaine,P

Document Type

Proceedings Paper

Year published

2023

Published

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

Volume: 376, Issue: 376, Pages: 3-15 (13)

Conference

17Th International Workshop on Logical and Semantic Frameworks, with Applications (Lsfa), Date: SEP 23-24, 2022, Location: BRAZIL

Indexing

Wos^®

Scopus^®

Crossref^®

Unpaywall^®

Google Scholar^®

Publication Identifiers

DOI: 10.4204/eptcs.376.3

Dblp: journals/corr/abs-2303-13254

Scopus: 2-s2.0-85151985052

Unpaywall: 10.4204/eptcs.376.3

Wos: WOS:001047712400004

Source Identifiers

ISSN: 2075-2180

Export Publication Metadata

Marked List

Info

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

Useful Links