Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Context unification with one context variable

Autor
Gascon, A.; Godoy, G.; Schmidt-Schauß, M.; Tiwari, A.
Tipus d'activitat
Article en revista
Revista
Journal of symbolic computation
Data de publicació
2010-02
Volum
45
Número
2
Pàgina inicial
173
Pàgina final
193
DOI
https://doi.org/10.1016/j.jsc.2008.10.005 Obrir en finestra nova
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

  • Gascon Caro, Adrian  (autor)
  • Godoy Balil, Guillermo  (autor)
  • Schmidt-Schauß, Manfred  (autor)
  • Tiwari, Ashish  (autor)