Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Deciding bisimilarity is p-complete

Autor
Balcazar, J. L.; Gabarro, J.
Tipus d'activitat
Article en revista
Revista
Formal aspects of computing
Data de publicació
1992-10
Volum
0
Número
0
Pàgina inicial
638
Pàgina final
648
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge

Participants