Publicações com os mesmos autores da publicação A New Translation Algorithm from Lambda Calculus into Combinatory Logic

Agrupar Por: Tipo Ano Ordenação: Título Ano Tipo de Publicação

Artigo em Revista Científica Internacional

The decidability of a fragment of BB ' IW-logic

Broda, S (Autor) (FCUP); Damas, L (Autor) (FCUP); Finger, M (Autor) (Outra); Silva, PSE (Autor) (Outra)

2004

Classificação Científica Indexação

ISI Web of Knowledge - 4 Citações

Scopus - 5 Citações

FOS: Ciências da computação e da informação

On principal types of combinators

Broda, S (Autor) (FCUP); Damas, L (Autor) (FCUP)

2000

Classificação Científica Indexação

ISI Web of Knowledge - 1 Citação

Scopus - 3 Citações

FOS: Ciências da computação e da informação

On long normal inhabitants of a type

Broda, S (Autor) (FCUP); Damas, L (Autor) (FCUP)

2005

Classificação Científica Indexação

ISI Web of Knowledge - 13 Citações

Scopus - 20 Citações

FOS: Ciências da computação e da informação

On combinatory complete sets of proper combinators

Broda, S (Autor) (FCUP); Damas, L (Autor) (FCUP)

1997

Indexação

ISI Web of Knowledge

Scopus - 1 Citação

Counting a type's principal inhabitants - (Extended abstract)

Broda, S (Autor) (FCUP); Damas, L (Autor) (FCUP)

1999

Classificação Científica Indexação

ISI Web of Knowledge - 1 Citação

Scopus - 6 Citações

FOS: Ciências da computação e da informação

Counting a type's (principal) inhabitants

Broda, S (Autor) (FCUP); Damas, L (Autor) (FCUP)

2001

Classificação Científica Indexação

ISI Web of Knowledge - 2 Citações

Scopus - 4 Citações

FOS: Ciências da computação e da informação

Compact bracket abstraction in combinatory logic

Broda, S (Autor) (FCUP); Damas, L (Autor) (FCUP)

1997

Classificação Científica Indexação

ISI Web of Knowledge - 6 Citações

Scopus - 7 Citações

FOS: Matemática

Artigo em Livro de Atas de Conferência Internacional

Studying provability in implicational intuitionistic logic: The formula tree approach

Broda, S (Autor) (FCUP); Damas, L (Autor) (FCUP)

2002

Indexação

ISI Web of Knowledge

Scopus - 2 Citações

Resolution of Constraints in Algebras of Rational Trees

Luís Damas (Autor) (FCUP); Nelma Moreira (Autor) (FCUP); Sabine Broda (Autor) (FCUP)

1993

Indexação

ISI Web of Knowledge

Scopus

On principal types of BCK-lambda-Terms

Sabine Broda (Autor) (FCUP); Luis Damas (Autor) (FCUP)

2007

Classificação Científica Indexação

ISI Web of Knowledge

Scopus

FOS: Ciências da computação e da informação

A context-free grammar representation for normal inhabitants of types in TA¿

Broda, S (Autor) (FCUP); Damas, L (Autor) (FCUP)

2001

Indexação

ISI Web of Knowledge

Scopus - 3 Citações

Registos 1 a 11 de 11

 

1