This page shows all presentations of this author published in EasyChair Smart Slide.
Partial Derivative Automaton for Regular Expressions with Shuffle
Sabine Broda, António Machiavelo, Nelma Moreira and Rogério Reis
A Unifying Framework for Type Inhabitation
Sandra Alves and Sabine Broda