|
Search the dblp DataBase
Sabine Broda:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Luís Damas, Nelma Moreira, Sabine Broda
Resolution of Constraints in Algebras of Rational Trees. [Citation Graph (0, 0)][DBLP] EPIA, 1993, pp:61-76 [Conf]
- Sabine Broda, Luís Damas
A Context-Free Grammar Representation for Normal Inhabitants of Types in TAlambda. [Citation Graph (0, 0)][DBLP] EPIA, 2001, pp:321-334 [Conf]
- Sabine Broda, Luís Damas
A New Translation Algorithm from Lambda Calculus into Combinatory Logic. [Citation Graph (0, 0)][DBLP] EPIA, 1995, pp:359-370 [Conf]
- Sabine Broda, Luís Damas
Counting a Type's Principal Inhabitants. [Citation Graph (0, 0)][DBLP] TLCA, 1999, pp:69-82 [Conf]
- Sabine Broda, Luís Damas
Studying provability in implicational intuitionistic logic the formula tree approach. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:67, n:, pp:- [Journal]
- Sabine Broda, Luís Damas
Counting a Type's (Principal) Inhabitants. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2001, v:45, n:1-2, pp:33-51 [Journal]
- Sabine Broda, Luís Damas
On Combinatory Complete Sets of Proper Combinators. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1997, v:7, n:6, pp:593-612 [Journal]
- Sabine Broda, Luís Damas
Compact Bracket Abstraction in Combinatory Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1997, v:62, n:3, pp:729-740 [Journal]
- Sabine Broda, Luís Damas
On Long Normal Inhabitants of a Type. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2005, v:15, n:3, pp:353-390 [Journal]
- Sabine Broda, Luís Damas
On principal types of combinators. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2000, v:247, n:1-2, pp:277-290 [Journal]
- Sabine Broda, Luís Damas, Marcelo Finger, Paulo Silva e Silva
The decidability of a fragment of BB'IW-logic. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2004, v:318, n:3, pp:373-408 [Journal]
- Sabine Broda, Luís Damas
On Principal Types of BCK- lambda -Terms. [Citation Graph (0, 0)][DBLP] WoLLIC, 2007, pp:120-130 [Conf]
On the Average Number of States of Partial Derivative Automata. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|