Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Deciding regularity of the set of instances of a set of terms with regular constraints is EXPTIME-Complete

Autor
Gimenez, O.; Godoy, G.; Maneth, S.
Tipus d'activitat
Article en revista
Revista
SIAM journal on computing
Data de publicació
2011
Volum
40
Número
2
Pàgina inicial
446
Pàgina final
464
DOI
https://doi.org/10.1137/090777669 Obrir en finestra nova
URL
http://epubs.siam.org/sicomp/resource/1/smjcat/v40/i2/p446_s1 Obrir en finestra nova
Paraules clau
Exptime Complexity, Regularity, Terms With Variables, Pattern Matching, Regular Constraints
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants