KARNAK {$\star$}: an automated theorem prover for PPC {$\star$}
Elnadi, Tarek Mohamed ; Hoogewijs, Albert
Bull. Belg. Math. Soc. Simon Stevin, Tome 2 (1995) no. 5, p. 541-571 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1995-05-14
Classification:  03B35,  68T15 
@article{1103408677,
     author = {Elnadi, Tarek Mohamed and Hoogewijs, Albert},
     title = {KARNAK {$\star$}: an automated theorem prover for PPC {$\star$}},
     journal = {Bull. Belg. Math. Soc. Simon Stevin},
     volume = {2},
     number = {5},
     year = {1995},
     pages = { 541-571},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1103408677}
}

Elnadi, Tarek Mohamed; Hoogewijs, Albert. KARNAK {$\star$}: an automated theorem prover for PPC {$\star$}. Bull. Belg. Math. Soc. Simon Stevin, Tome 2 (1995) no. 5, pp.  541-571. http://gdmltest.u-ga.fr/item/1103408677/