Publications

AuthID
P-00S-YRC

Author(s)

Editor(s)

Nalon,C

Document Type

Proceedings Paper

Year published

2020

Published

in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE in Electronic Notes in Theoretical Computer Science, ISSN: 1571-0661

Volume: 351, Pages: 3-23 (21)

Conference

15Th International Workshop on Logical and Semantic Frameworks, with Applications (Lsfa), Date: AUG 27-28, 2020, Location: Salvador, BRAZIL

Indexing

Wos^®

Scopus^®

Crossref^®1

Google Scholar^®

Publication Identifiers

DOI: 10.1016/j.entcs.2020.08.002

DBLP: conf/lsfa/AlvesFR20

SCOPUS: 2-s2.0-85096498738

Wos: WOS:000577848900002

Source Identifiers

ISSN: 1571-0661

Export Publication Metadata

Marked List

Info

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

Useful Links