Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux.

@article{Kovásznai2008,
author = {Kovásznai, Gergely, Kusper, Gábor},
journal = {Annales Mathematicae et Informaticae},
keywords = {clausal tableaux},
language = {eng},
pages = {85-101},
publisher = {Eszterházy Károly College, Institute of Mathematics and Computer Science},
title = {Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux.},
url = {http://eudml.org/doc/232286},
volume = {36},
year = {2008},
}

TY - JOUR
AU - Kovásznai, Gergely
AU - Kusper, Gábor
TI - Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux.
JO - Annales Mathematicae et Informaticae
PY - 2008
PB - Eszterházy Károly College, Institute of Mathematics and Computer Science
VL - 36
SP - 85
EP - 101
LA - eng
KW - clausal tableaux
UR - http://eudml.org/doc/232286
ER -