Tableau Methods for a Logic with Term Declarations

  1. Martin, P.J.
  2. Gavilanes, A.
  3. Leach, J.
Aldizkaria:
Journal of Symbolic Computation

ISSN: 0747-7171

Argitalpen urtea: 2000

Alea: 29

Zenbakia: 2

Orrialdeak: 343-372

Mota: Artikulua

DOI: 10.1006/JSCO.1999.0364 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus