Sabine Broda

	2011
15		Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis: The Average Transition Complexity of Glushkov and Partial Derivative Automata. Developments in Language Theory 2011: 93-104
14		Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis: On the Average State Complexity of Partial derivative Automata: an analytic Combinatorics Approach. Int. J. Found. Comput. Sci. 22(7): 1593-1606 (2011)
	2010
13		Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis: On the Average Number of States of Partial Derivative Automata. Developments in Language Theory 2010: 112-123
	2007
12		Sabine Broda, Luís Damas: On Principal Types of BCK- lambda -Terms. WoLLIC 2007: 120-130
	2005
11		Sabine Broda, Luís Damas: On Long Normal Inhabitants of a Type. J. Log. Comput. 15(3): 353-390 (2005)
	2004
10		Sabine Broda, Luís Damas, Marcelo Finger, Paulo Silva e Silva: The decidability of a fragment of BB'IW-logic. Theor. Comput. Sci. 318(3): 373-408 (2004)
	2002
9		Sabine Broda, Luís Damas: Studying provability in implicational intuitionistic logic the formula tree approach. Electr. Notes Theor. Comput. Sci. 67: 131-147 (2002)
	2001
8		Sabine Broda, Luís Damas: A Context-Free Grammar Representation for Normal Inhabitants of Types in TAlambda. EPIA 2001: 321-334
7		Sabine Broda, Luís Damas: Counting a Type's (Principal) Inhabitants. Fundam. Inform. 45(1-2): 33-51 (2001)
	2000
6		Sabine Broda, Luís Damas: On principal types of combinators. Theor. Comput. Sci. 247(1-2): 277-290 (2000)
	1999
5		Sabine Broda, Luís Damas: Counting a Type's Principal Inhabitants. TLCA 1999: 69-82
	1997
4		Sabine Broda, Luís Damas: On Combinatory Complete Sets of Proper Combinators. J. Funct. Program. 7(6): 593-612 (1997)
3		Sabine Broda, Luís Damas: Compact Bracket Abstraction in Combinatory Logic. J. Symb. Log. 62(3): 729-740 (1997)
	1995
2		Sabine Broda, Luís Damas: A New Translation Algorithm from Lambda Calculus into Combinatory Logic. EPIA 1995: 359-370
	1993
1		Luís Damas, Nelma Moreira, Sabine Broda: Resolution of Constraints in Algebras of Rational Trees. EPIA 1993: 61-76

Coauthor Index

1	Luís Damas	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
2	Marcelo Finger	[10]
3	António Machiavelo	[13] [14] [15]
4	Nelma Moreira	[1] [13] [14] [15]
5	Rogério Reis	[13] [14] [15]
6	Paulo Silva e Silva	[10]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page