Publications

AuthID
P-01A-CA7

Author(s)

Freire, AR

Editor(s)

Barbosa,,H;Ringeissen,,C

Document Type

Article in Press

Year published

2025

Published

in CoRR, ISSN: 2075-2180

Volume: abs/2509.25882, Pages: 26-36

Conference

20Th International Symposium on Logical and Semantic Frameworks with Applications, Lsfa 2025, Location: Brasilia

Indexing

Scopus^®

Google Scholar^®

Publication Identifiers

DOI: 10.4204/eptcs.430.3

Dblp: journals/corr/abs-2509-25882

Scopus: 2-s2.0-105018799422

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