João Luis Alves Barbosa


AuthID: R-00J-ST0

Publicações a aguardar confirmação

1
TÍTULO: Regular Typed Unification
AUTORES: João Barbosa; Mário Florido ; Vítor Santos Costa ;
PUBLICAÇÃO: 2024, FONTE: 40th International Conference on Logic Programming, ICLP 2024 in CoRR, VOLUME: abs/2404.16406
INDEXADO EM: Scopus DBLP

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service