Sabine Babette Broda


AuthID: R-000-G4A

Publicações Confirmadas: 49



41
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
NO MEU: ORCID
42
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: ORCID | DBLP | CIÊNCIAVITAE
43
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: ORCID
44
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: ORCID
45
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: ORCID
46
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: ORCID
47
TÍTULO: On Combinatory Complete Sets of Proper Combinators
AUTORES: Sabine Broda ; Luís Damas ;
PUBLICAÇÃO: 1997, FONTE: J. Funct. Program., VOLUME: 7, NÚMERO: 6
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
48
TÍTULO: A New Translation Algorithm from Lambda Calculus into Combinatory Logic
AUTORES: Sabine Broda ; Luís Damas ;
PUBLICAÇÃO: 1995, FONTE: EPIA, VOLUME: 990
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
49
TÍTULO: Resolution of Constraints in Algebras of Rational Trees
AUTORES: Luís Damas ; Nelma Moreira ; Sabine Broda ;
PUBLICAÇÃO: 1993, FONTE: EPIA, VOLUME: 727 LNAI
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
Página 5 de 5. Total de resultados: 49.

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