Simultaneous rigid sorted unification for tableaux

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

ISSN: 1572-8730,  0039-3215

Ano de publicación: 2002

Volume: 72

Número: 1

Páxinas: 31-59

Tipo: Artigo

DOI: 10.1023/A:1020526008642 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible

Fonte de datos: Scopus