João Luis Alves Barbosa


AuthID: R-00J-ST0

Publications Requiring Validation

1
TITLE: Regular Typed Unification
AUTHORS: João Barbosa; Mário Florido ; Vítor Santos Costa ;
PUBLISHED: 2024, SOURCE: 40th International Conference on Logic Programming, ICLP 2024 in CoRR, VOLUME: abs/2404.16406
INDEXED IN: Scopus DBLP

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service