A new decidable Horn fragment of predicate calculus.
Zapiski Nauchnykh Seminarov POMI (2004)
- Volume: 316, page 147-162
- ISSN: 0373-2703
Access Full Article
topHow to cite
topOrevkov, V.P.. "A new decidable Horn fragment of predicate calculus.." Zapiski Nauchnykh Seminarov POMI 316 (2004): 147-162. <http://eudml.org/doc/226085>.
@article{Orevkov2004,
author = {Orevkov, V.P.},
journal = {Zapiski Nauchnykh Seminarov POMI},
keywords = {Horn formulas; predicate calculus; decidability; complexity},
language = {eng},
pages = {147-162},
publisher = {Nauka},
title = {A new decidable Horn fragment of predicate calculus.},
url = {http://eudml.org/doc/226085},
volume = {316},
year = {2004},
}
TY - JOUR
AU - Orevkov, V.P.
TI - A new decidable Horn fragment of predicate calculus.
JO - Zapiski Nauchnykh Seminarov POMI
PY - 2004
PB - Nauka
VL - 316
SP - 147
EP - 162
LA - eng
KW - Horn formulas; predicate calculus; decidability; complexity
UR - http://eudml.org/doc/226085
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.