Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Confirmed Publications: 76



71
TITLE: Verifiable and executable logic specifications of concurrent objects in L-pi  Full Text
AUTHORS: Caires, L ; Monteiro, L ;
PUBLISHED: 1998, SOURCE: 7th European Symposium on Programming (ESOP'98) at the Joint European Conferences on Theory and Practice of Software (ETAPS'98) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 1381
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: DBLP | CIÊNCIAVITAE
72
TITLE: Proof Net Semantics of Proof Search Computation
AUTHORS: Luís Caires ; Luís Monteiro;
PUBLISHED: 1997, SOURCE: ALP/HOA
INDEXED IN: DBLP CrossRef: 1
IN MY: CIÊNCIAVITAE
73
TITLE: A Language for the Logical Specification of Processes and Relations
AUTHORS: Luís Caires ;
PUBLISHED: 1996, SOURCE: Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings, VOLUME: 1139
INDEXED IN: DBLP CrossRef: 3
IN MY: DBLP | CIÊNCIAVITAE
74
TITLE: HIGHER-ORDER POLYMORPHIC UNIFICATION FOR LOGIC PROGRAMMING  Full Text
AUTHORS: CAIRES, L ; MONTEIRO, L ;
PUBLISHED: 1994, SOURCE: 11th International Conference on Logic Programming in LOGIC PROGRAMMING
INDEXED IN: WOS DBLP
75
TITLE: SLWV - A Theorem Prover for Logic Programming
AUTHORS: Luís Moniz Pereira ; Luís Caires ; José Júlio Alferes ;
PUBLISHED: 1992, SOURCE: ELP, VOLUME: 660 LNAI
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
76
TITLE: Towards Distributed Tools for Heterogeneous Logic Programming Environments
AUTHORS: José A S Alegria; Artur M Dias; Luís Caires ;
PUBLISHED: 1989, SOURCE: ICLP
INDEXED IN: DBLP
Page 8 of 8. Total results: 76.

footer slogan

Useful Links

Get Help

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