Publicações

Publicações com os mesmos autores da publicação On combinatory complete sets of proper combinators

Agrupar Por: Ordenaçã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

On principal types of combinators

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

2000

Classificação Científica Indexação

On long normal inhabitants of a type

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

2005

Classificação Científica Indexação

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

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

1999

Classificação Científica Indexação

Counting a type's (principal) inhabitants

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

2001

Classificação Científica Indexação

Compact bracket abstraction in combinatory logic

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

1997

Classificação Científica Indexação

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

Resolution of Constraints in Algebras of Rational Trees

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

1993

Indexação

On principal types of BCK-lambda-Terms

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

2007

Classificação Científica Indexação

A New Translation Algorithm from Lambda Calculus into Combinatory Logic

Sabine Broda (Autor) (FCUP); LuÃs Damas (Autor) (FCUP)

1995

Indexação

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

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

2001

Indexação

Registos 1 a 11 de 11