Publicações

AuthID
P-019-V3F

Author(s)

Sousa, AC

Editor(es)

Kozen,D;DeQueiroz,R

Tipo de Documento

Proceedings Paper

Year published

2026

Publicado

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

Volume: 15942, Páginas: 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

Lista Marked

Info

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

Links Úteis