Carregant...
Carregant...

Vés al contingut (premeu Retorn)

On the Undecidability of Second-Order Unification

Autor
Levy, J.; Margus, V.
Tipus d'activitat
Article en revista
Revista
Information and computation
Data de publicació
2000-01
Volum
159
Número
1
Pàgina inicial
125
Pàgina final
150

Participants

  • Levy Diaz, Jordi  (autor)
  • Margus, Veanes  (autor)