Publicações

AuthID
P-018-XG1

Author(s)

Freire, AR

Editor(es)

Tutu,I

Tipo de Documento

Proceedings Paper

Year published

2025

Publicado

in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, WADT 2024 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 15587, Páginas: 94-110 (17)

Conference

27Th International Workshop on Algebraic Development Techniques-Wadt, Date: JUL 08, 2024, Location: Enschede, NETHERLANDS

Indexing

Wos^®

Scopus^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-031-88930-1_5

DBLP: conf/adt/FreireMM24

SCOPUS: 2-s2.0-105005936653

Wos: WOS:001551885300005

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