1

String-matching with OBDDs

Année:
2004
Langue:
english
Fichier:
PDF, 236 KB
english, 2004
2

The decision problem for some logics for finite words on infinite alphabets

Année:
2009
Langue:
english
Fichier:
PDF, 255 KB
english, 2009
3

Two equational theories of partial words

Année:
2018
Langue:
english
Fichier:
PDF, 548 KB
english, 2018