Luís Manuel Martins Damas


AuthID: R-000-9MJ

Publicações Confirmadas: 36



11
TÍTULO: Large-Scale Simulation of V2V Environments
AUTORES: Hugo Conceicao ; Luis Damas ; Michel Ferreira ; Joao Barros ;
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
NO MEU: DBLP
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
NO MEU: DBLP
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
NO MEU: DBLP
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
NO MEU: DBLP
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
NO MEU: DBLP
17
TÍTULO: Studying provability in implicational intuitionistic logic: The formula tree approach
AUTORES: Broda, S ; Damas, L ;
PUBLICAÇÃO: 2002, FONTE: WoLLIC'2002, 9th Workshop on Logic, Language, Information and Computation in Electronic Notes in Theoretical Computer Science, VOLUME: 67
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: DBLP
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
NO MEU: 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
NO MEU: DBLP
Página 2 de 4. Total de resultados: 36.

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

Links Úteis

Ajuda

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