Luís Manuel Martins Damas


AuthID: R-000-9MJ

Publicações Confirmadas: 36



21
TÍTULO: Counting a type's principal inhabitants - (Extended abstract)  Full Text
AUTORES: Broda, S ; Damas, L ;
PUBLICAÇÃO: 1999, FONTE: 4th International Conference on Typed Lambda Calculi and Applications (TLCA 99) in TYPED LAMBDA CALCULI AND APPLICATIONS, VOLUME: 1581
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: DBLP
22
TÍTULO: Multiple specialization of WAM code  Full Text
AUTORES: Ferreira, M ; Damas, L ;
PUBLICAÇÃO: 1999, FONTE: 1st International Workshop on Practical Aspects of Declarative Languages (PADL 99) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 1551
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: DBLP
23
TÍTULO: Teleconsultation for cooperative acquisition, analysis and reporting of ultrasound studies
AUTORES: Ribeiro, R; Conceicao, R; Rafael, JA; Pereira, AS; Martins, M; Lourenco, R; Fonseca, L; Galvao, F; Damas, L ;
PUBLICAÇÃO: 1999, FONTE: JOURNAL OF TELEMEDICINE AND TELECARE, VOLUME: 5, NÚMERO: SUPPL. 1
INDEXADO EM: Scopus WOS CrossRef: 2
24
TÍTULO: Compact bracket abstraction in combinatory logic
AUTORES: Broda, S ; Damas, L ;
PUBLICAÇÃO: 1997, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 62, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: DBLP
25
TÍTULO: On combinatory complete sets of proper combinators
AUTORES: Broda, S ; Damas, L ;
PUBLICAÇÃO: 1997, FONTE: Journal of Functional Programming, VOLUME: 7, NÚMERO: 6
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
26
TÍTULO: A New Translation Algorithm from Lambda Calculus into Combinatory Logic
AUTORES: Sabine Broda ; Luís Damas ;
PUBLICAÇÃO: 1995, FONTE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
27
TÍTULO: Constraint Categorial Grammars
AUTORES: Luís Damas ; Nelma Moreira ;
PUBLICAÇÃO: 1995, FONTE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
28
TÍTULO: Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings
AUTORES: Miguel Filgueiras; Luís Damas ;
PUBLICAÇÃO: 1993, FONTE: EPIA, VOLUME: 727
INDEXADO EM: DBLP
NO MEU: DBLP
29
TÍTULO: Resolution of Constraints in Algebras of Rational Trees
AUTORES: Luís Damas ; Nelma Moreira ; Sabine Broda ;
PUBLICAÇÃO: 1993, FONTE: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 in Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
30
TÍTULO: On the Satisfiability of Complex Constraints
AUTORES: Luís Damas ; Giovanni B Varile;
PUBLICAÇÃO: 1992, FONTE: 14th International Conference on Computational Linguistics, COLING 1992, Nantes, France, August 23-28, 1992
INDEXADO EM: DBLP
NO MEU: DBLP
Página 3 de 4. Total de resultados: 36.

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

Links Úteis

Ajuda

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