A metatheoretical characterization of negation as finite failure.
Criscuolo, Giovanni
Mathware and Soft Computing, Tome 3 (1996), p. 59-65 / Harvested from Biblioteca Digital de Matemáticas
Access to full text
Publié le : 1996-01-01
DMLE-ID : 1817 
@article{urn:eudml:doc:39059,
     title = {A metatheoretical characterization of negation as finite failure.},
     journal = {Mathware and Soft Computing},
     volume = {3},
     year = {1996},
     pages = {59-65},
     zbl = {0868.68101},
     mrnumber = {MR1414254},
     language = {en},
     url = {http://dml.mathdoc.fr/item/urn:eudml:doc:39059}
}

Criscuolo, Giovanni. A metatheoretical characterization of negation as finite failure.. Mathware and Soft Computing, Tome 3 (1996) pp. 59-65. http://gdmltest.u-ga.fr/item/urn:eudml:doc:39059/