ABREU, SALVADOR

University of Évora

1 paper on CoChatORCID 0000-0002-1613-4631

Most cited papers

Verified
Fifty Years of Prolog and Beyond
KÖRNER, P., LEUSCHEL, M., BARBOSA, J., COSTA, V. S., DAHL, V., HERMENEGILDO, M. V., MORALES, J. F., WIELEMAKER, J., DIAZ, D., ABREU, S., et al. (2022) · Theory and Practice of Logic Programming
Logic, programming, and type systemsLogic, Reasoning, and Knowledge
Cited by 40

Go further with a free account

Verify every reference, keep papers in a library, and ask questions across them.

Sign up - it is free