Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups

Autor
Godoy, G.; Nieuwenhuis, R.
Tipus d'activitat
Article en revista
Revista
Constraints
Data de publicació
2004-07
Volum
9
Número
3
Pàgina inicial
167
Pàgina final
192
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
LOGPROG - Lògica i Programació

Participants