Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Fast congruence closure and extensions

Autor
Nieuwenhuis, R.; Oliveras, A.
Tipus d'activitat
Article en revista
Revista
Information and computation
Data de publicació
2007-04
Volum
205
Número
4
Pàgina inicial
557
Pàgina final
580
Grup de recerca
LOGPROG - Lògica i Programació