Simultaneous rigid sorted unification for tableaux

  1. Martín, P.J.
  2. Gavilanes, A.
Revista:
Studia Logica

ISSN: 1572-8730,  0039-3215

Año de publicación: 2002

Volumen: 72

Número: 1

Páginas: 31-59

Tipo: Artículo

DOI: 10.1023/A:1020526008642 GOOGLE SCHOLAR
Fuente de los datos: Scopus