Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Amalgamation and extension in the framework of specification logics

Autor
Orejas, F.
Tipus d'activitat
Article en revista
Revista
Bulletin of the European Association for Theoretical Computer Science
Data de publicació
1991-06
Volum
0
Número
44
Pàgina inicial
129
Pàgina final
143
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants