Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 76



71
TÍTULO: Verifiable and executable logic specifications of concurrent objects in L-pi  Full Text
AUTORES: Caires, L ; Monteiro, L ;
PUBLICAÇÃO: 1998, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: DBLP | CIÊNCIAVITAE
72
TÍTULO: Proof Net Semantics of Proof Search Computation
AUTORES: Luís Caires ; Luís Monteiro;
PUBLICAÇÃO: 1997, FONTE: ALP/HOA
INDEXADO EM: DBLP CrossRef: 1
NO MEU: CIÊNCIAVITAE
73
TÍTULO: A Language for the Logical Specification of Processes and Relations
AUTORES: Luís Caires ;
PUBLICAÇÃO: 1996, FONTE: Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings, VOLUME: 1139
INDEXADO EM: DBLP CrossRef: 3
NO MEU: DBLP | CIÊNCIAVITAE
74
TÍTULO: HIGHER-ORDER POLYMORPHIC UNIFICATION FOR LOGIC PROGRAMMING  Full Text
AUTORES: CAIRES, L ; MONTEIRO, L ;
PUBLICAÇÃO: 1994, FONTE: 11th International Conference on Logic Programming in LOGIC PROGRAMMING
INDEXADO EM: WOS DBLP
75
TÍTULO: SLWV - A Theorem Prover for Logic Programming
AUTORES: Luís Moniz Pereira ; Luís Caires ; José Júlio Alferes ;
PUBLICAÇÃO: 1992, FONTE: ELP, VOLUME: 660 LNAI
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
76
TÍTULO: Towards Distributed Tools for Heterogeneous Logic Programming Environments
AUTORES: José A S Alegria; Artur M Dias; Luís Caires ;
PUBLICAÇÃO: 1989, FONTE: ICLP
INDEXADO EM: DBLP
Página 8 de 8. Total de resultados: 76.

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

Links Úteis

Ajuda

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