Publications

AuthID
P-019-V3F

Author(s)

Sousa, AC

Editor(s)

Kozen,D;DeQueiroz,R

Document Type

Proceedings Paper

Year published

2026

Published

in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 15942, Pages: 293-308 (16)

Conference

31St International Workshop on Logic Language Information and Computation-Wollic, Date: JUL 14-17, 2025, Location: Porto, PORTUGAL

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-031-99536-1_18

Scopus: 2-s2.0-105013021953

Wos: WOS:001563101000018

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Info

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

Useful Links