Publications with the same authors as the On combinatory complete sets of proper combinators publication

Group by: Tipo Ano Order: Title Year Type of publication

Article in International Scientific Journal

The decidability of a fragment of BB ' IW-logic

Broda, S (Author) (FCUP); Damas, L (Author) (FCUP); Finger, M (Author) (Other); Silva, PSE (Author) (Other)

2004

Scientific classification Indexing

ISI Web of Knowledge - 4 Citations

Scopus - 5 Citations

FOS: Computer and information sciences

On principal types of combinators

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

2000

Scientific classification Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 3 Citations

FOS: Computer and information sciences

On long normal inhabitants of a type

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

2005

Scientific classification Indexing

ISI Web of Knowledge - 13 Citations

Scopus - 20 Citations

FOS: Computer and information sciences

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

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

1999

Scientific classification Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 6 Citations

FOS: Computer and information sciences

Counting a type's (principal) inhabitants

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

2001

Scientific classification Indexing

ISI Web of Knowledge - 2 Citations

Scopus - 4 Citations

FOS: Computer and information sciences

Compact bracket abstraction in combinatory logic

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

1997

Scientific classification Indexing

ISI Web of Knowledge - 6 Citations

Scopus - 7 Citations

FOS: Mathematics

Article in International Conference Proceedings Book

Studying provability in implicational intuitionistic logic: The formula tree approach

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

2002

Indexing

ISI Web of Knowledge

Scopus - 2 Citations

Resolution of Constraints in Algebras of Rational Trees

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

1993

Indexing

ISI Web of Knowledge

Scopus

On principal types of BCK-lambda-Terms

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

2007

Scientific classification Indexing

ISI Web of Knowledge

Scopus

FOS: Computer and information sciences

A New Translation Algorithm from Lambda Calculus into Combinatory Logic

Sabine Broda (Author) (FCUP); Luís Damas (Author) (FCUP)

1995

Indexing

ISI Web of Knowledge

Scopus

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

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

2001

Indexing

ISI Web of Knowledge

Scopus - 3 Citations

Records 1 to 11 from 11

 

1