Publications

AuthID
P-019-V3K

Author(s)

Fervari, R

Figueiredo, D

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: 278-292 (15)

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_17

Dblp: conf/wollic/FervariFM25

Scopus: 2-s2.0-105013021358

Wos: WOS:001563101000017

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