Publications

AuthID
P-019-KGP

Author(s)

Editor(s)

Beckmann,A;Oitavem,I;Manea,F

Document Type

Proceedings Paper

Year published

2025

Published

in CROSSROADS OF COMPUTABILITY AND LOGIC: INSIGHTS, INSPIRATIONS, AND INNOVATIONS, CIE 2025 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 15764, Pages: 62-75 (14)

Conference

21St Conference on Computability and Logic-Cie, Date: JUL 14-18, 2025, Location: Lisbon, PORTUGAL

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-031-95908-0_5

Scopus: 2-s2.0-105009319905

Wos: WOS:001688838100005

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