Luís Manuel Martins Damas


AuthID: R-000-9MJ

Publicações Confirmadas: 36



11
TÍTULO: Large-Scale Simulation of V2V Environments
AUTORES: Conceiçao, H ; Damas, L ; Ferreira, M ; Barros, J ;
PUBLICAÇÃO: 2008, FONTE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3
INDEXADO EM: Scopus WOS DBLP CrossRef: 26
12
TÍTULO: On principal types of BCK-lambda-Terms
AUTORES: Sabine Broda ; Luis Damas ;
PUBLICAÇÃO: 2007, FONTE: 14th International Workshop on Logic, Language, Information and Computation in Logic, Language, Information and Computation, Proceedings, VOLUME: 4576
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
13
TÍTULO: On long normal inhabitants of a type
AUTORES: Broda, S ; Damas, L ;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 15, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
14
TÍTULO: Linearization of the lambda-calculus and its relation with intersection type systems
AUTORES: Florido, M ; Damas, L ;
PUBLICAÇÃO: 2004, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 14, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
15
TÍTULO: The decidability of a fragment of BB′IW-logic  Full Text
AUTORES: Broda, S ; Damas, L ; Finger, M; Silva, PSE;
PUBLICAÇÃO: 2004, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 318, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
16
TÍTULO: WAM local analysis
AUTORES: Ferreira, M ; Damas, L ;
PUBLICAÇÃO: 2003, FONTE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562
INDEXADO EM: Scopus WOS DBLP CrossRef
17
TÍTULO: Studying provability in implicational intuitionistic logic the formula tree approach
AUTORES: Sabine Broda ; Luís Damas ;
PUBLICAÇÃO: 2002, FONTE: WoLLIC, VOLUME: 67
INDEXADO EM: Scopus DBLP CrossRef: 1
18
TÍTULO: A context-free grammar representation for normal inhabitants of types in TAλ
AUTORES: Broda, S ; Damas, L ;
PUBLICAÇÃO: 2001, FONTE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
19
TÍTULO: Counting a type's (principal) inhabitants  Full Text
AUTORES: Broda, S ; Damas, L ;
PUBLICAÇÃO: 2001, FONTE: 4th International Conference on Typed Lambda Calculi and Applications (TLCA 99) in FUNDAMENTA INFORMATICAE, VOLUME: 45, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP
20
TÍTULO: On principal types of combinators  Full Text
AUTORES: Broda, S ; Damas, L ;
PUBLICAÇÃO: 2000, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 247, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
Página 2 de 4. Total de resultados: 36.

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