Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Sabine Broda

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Luís Damas

> Home > Persons > Sabine Broda

Publications

2007
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/BrodaD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/BrodaD07
Sabine Broda, Luís Damas:
On Principal Types of BCK- lambda -Terms. WoLLIC 2007: 120-130
2005
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/BrodaD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/BrodaD05
Sabine Broda, Luís Damas:
On Long Normal Inhabitants of a Type. J. Log. Comput. 15(3): 353-390 (2005)
2004
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BrodaDFS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BrodaDFS04
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
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BrodaD02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BrodaD02
Sabine Broda, Luís Damas:
Studying provability in implicational intuitionistic logic the formula tree approach. WoLLIC 2002: 131-147
2001
[j4]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/BrodaD01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BrodaD01
Sabine Broda, Luís Damas:
Counting a Type's (Principal) Inhabitants. Fundam. Informaticae 45(1-2): 33-51 (2001)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/epia/BrodaD01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epia/BrodaD01
Sabine Broda, Luís Damas:
A Context-Free Grammar Representation for Normal Inhabitants of Types in TA_lambda. EPIA 2001: 321-334
2000
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BrodaD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BrodaD00
Sabine Broda, Luís Damas:
On principal types of combinators. Theor. Comput. Sci. 247(1-2): 277-290 (2000)
1999
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tlca/BrodaD99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/BrodaD99
Sabine Broda, Luís Damas:
Counting a Type's Principal Inhabitants. TLCA 1999: 69-82
1997
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/BrodaD97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/BrodaD97
Sabine Broda, Luís Damas:
On Combinatory Complete Sets of Proper Combinators. J. Funct. Program. 7(6): 593-612 (1997)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/BrodaD97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/BrodaD97
Sabine Broda, Luís Damas:
Compact Bracket Abstraction in Combinatory Logic. J. Symb. Log. 62(3): 729-740 (1997)
1995
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/epia/BrodaD95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epia/BrodaD95
Sabine Broda, Luís Damas:
A New Translation Algorithm from Lambda Calculus into Combinatory Logic. EPIA 1995: 359-370
1993
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/epia/DamasMB93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epia/DamasMB93
Luís Damas, Nelma Moreira, Sabine Broda:
Resolution of Constraints in Algebras of Rational Trees. EPIA 1993: 61-76

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.