Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Proof-Producing Congruence closure

Autor
Nieuwenhuis, R.; Oliveras, A.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
2005-04
Volum
3467
Número
3467
Pàgina inicial
453
Pàgina final
468
Grup de recerca
LOGPROG - Lògica i Programació