31
TÍTULO: The decidability of a fragment of BB ' IW-logic  Full Text
AUTORES: Broda, S ; Damas, L ; Finger, M; Silva, PSE;
FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 318, NÚMERO: 3, PUBLICAÇÃO: 2004
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP
32
TÍTULO: Studying provability in implicational intuitionistic logic: The formula tree approach
AUTORES: Broda, S ; Damas, L ;
FONTE: WoLLIC'2002, 9th Workshop on Logic, Language, Information and Computation in Electronic Notes in Theoretical Computer Science, VOLUME: 67, PUBLICAÇÃO: 2002
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
33
TÍTULO: A context-free grammar representation for normal inhabitants of types in TAλ
AUTORES: Broda, S ; Damas, L ;
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, PUBLICAÇÃO: 2001
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
34
TÍTULO: Counting a type's (principal) inhabitants  Full Text
AUTORES: Broda, S ; Damas, L ;
FONTE: 4th International Conference on Typed Lambda Calculi and Applications (TLCA 99) in FUNDAMENTA INFORMATICAE, VOLUME: 45, NÚMERO: 1-2, PUBLICAÇÃO: 2001
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
35
TÍTULO: On principal types of combinators  Full Text
AUTORES: Broda, S ; Damas, L ;
FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 247, NÚMERO: 1-2, PUBLICAÇÃO: 2000
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP
36
TÍTULO: Counting a type's principal inhabitants - (Extended abstract)  Full Text
AUTORES: Broda, S ; Damas, L ;
FONTE: 4th International Conference on Typed Lambda Calculi and Applications (TLCA 99) in TYPED LAMBDA CALCULI AND APPLICATIONS, VOLUME: 1581, PUBLICAÇÃO: 1999
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
37
TÍTULO: Compact bracket abstraction in combinatory logic
AUTORES: Broda, S ; Damas, L ;
FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 62, NÚMERO: 3, PUBLICAÇÃO: 1997
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP
38
TÍTULO: On combinatory complete sets of proper combinators
AUTORES: SABINE BRODA ; LUÍS DAMAS;
FONTE: Journal of Functional Programming, VOLUME: 7, NÚMERO: 6, PUBLICAÇÃO: 1997
INDEXADO EM: CrossRef
NO MEU: ORCID
39
TÍTULO: On combinatory complete sets of proper combinators
AUTORES: Broda, S ; Damas, L ;
FONTE: Journal of Functional Programming, VOLUME: 7, NÚMERO: 6, PUBLICAÇÃO: 1997
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
40
TÍTULO: A New Translation Algorithm from Lambda Calculus into Combinatory Logic
AUTORES: Sabine Broda ; Luís Damas ;
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, PUBLICAÇÃO: 1995
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
Página 4 de 5. Total de resultados: 41.