Simultaneous rigid sorted unification for tableaux

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

ISSN: 1572-8730,  0039-3215

Datum der Publikation: 2002

Ausgabe: 72

Nummer: 1

Seiten: 31-59

Art: Artikel

DOI: 10.1023/A:1020526008642 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible

Datenquelle: Scopus