E-LIB Suche - Ergebnisse für: Broda, Sabine

1

Average Complexity of Partial Derivatives for Synchronised ..:

, In: Implementation and Application of Automata; Lecture Notes in Computer Science,

Broda, Sabine ; Machiavelo, António ; Moreira, Nelma. - p. 103-115 , 2023

2

Location automata for synchronised shuffle expressions:

Broda, Sabine ; Machiavelo, António ; Moreira, Nelma.
Journal of Logical and Algebraic Methods in Programming. 132 (2023) - p. 100847 , 2023

Link: https://doi.org/10.1016/..

3

Location automata for regular expressions with shuffle and ..:

Broda, Sabine ; Machiavelo, António ; Moreira, Nelma.
Information and Computation. 295 (2023) - p. 104917 , 2023

Link: https://doi.org/10.1016/..

4

On the Uniform Distribution of Regular Expressions:

, In: Descriptional Complexity of Formal Systems; Lecture Notes in Computer Science,

Broda, Sabine ; Machiavelo, António ; Moreira, Nelma. - p. 13-25 , 2021

Link: https://doi.org/10.1007/..

5

Location Based Automata for Expressions with Shuffle:

, In: Language and Automata Theory and Applications; Lecture Notes in Computer Science,

Broda, Sabine ; Machiavelo, António ; Moreira, Nelma. - p. 43-54 , 2021

Link: https://doi.org/10.1007/..

6

Guest Column: Analytic Combinatorics and Descriptional Comp..:

Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma.
ACM SIGACT News. 51 (2020) 1 - p. 38-56 , 2020

Link: https://doi.org/10.1145/..

7

Guest Column : Analytic Combinatorics and Descriptional ..:

Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma.
ACM SIGACT News. 51 (2020) 1 - p. 38-56 , 2020

Link: https://dl.acm.org/doi/1..

8

A mesh of automata:

Broda, Sabine ; Holzer, Markus ; Maia, Eva..
Information and Computation. 265 (2019) - p. 94-111 , 2019

Link: https://doi.org/10.1016/..

9

Pre-grammars and Inhabitation for a Subset of Rank 2 Inters..:

Alves, Sandra ; Broda, Sabine
Electronic Notes in Theoretical Computer Science. 344 (2019) - p. 25-45 , 2019

Link: https://doi.org/10.1016/..

10

Automata for regular expressions with shuffle:

Broda, Sabine ; Machiavelo, António ; Moreira, Nelma.
Information and Computation. 259 (2018) - p. 162-173 , 2018

Link: https://doi.org/10.1016/..

11

A Hitchhiker's Guide to descriptional complexity through an..:

Broda, Sabine ; Machiavelo, António ; Moreira, Nelma.
Theoretical Computer Science. 528 (2014) - p. 85-100 , 2014

Link: https://doi.org/10.1016/..

12

On Long Normal Inhabitants of a Type:

Broda, Sabine ; Damas, Luís
Journal of Logic and Computation. 15 (2005) 3 - p. 353-390 , 2005

Link: https://doi.org/10.1093/..

13

The decidability of a fragment of BB′IW-logic:

Broda, Sabine ; Damas, Luı́s ; Finger, Marcelo.
Theoretical Computer Science. 318 (2004) 3 - p. 373-408 , 2004

Link: https://doi.org/10.1016/..

14

Studying provability in implicational intuitionistic logic:

Broda, Sabine ; Damas, Luís
Electronic Notes in Theoretical Computer Science. 67 (2002) - p. 131-147 , 2002

Link: https://doi.org/10.1016/..

15

On principal types of combinators:

Broda, Sabine ; Damas, Luı́s
Theoretical Computer Science. 247 (2000) 1-2 - p. 277-290 , 2000

Link: https://doi.org/10.1016/..