Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Confirmed Publications: 72



71
TITLE: SLWV - A Theorem Prover for Logic Programming
AUTHORS: Luís Moniz Pereira ; Luís Caires ; José Júlio Alferes ;
PUBLISHED: 1992, SOURCE: Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings, VOLUME: 660
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
72
TITLE: Towards Distributed Tools for Heterogeneous Logic Programming Environments
AUTHORS: José A S Alegria; Artur M Dias; Luís Caires ;
PUBLISHED: 1989, SOURCE: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989
INDEXED IN: DBLP
IN MY: ORCID | DBLP
Page 8 of 8. Total results: 72.

footer slogan

Useful Links

Get Help

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