Geodesic
Prefix classes of Krom formulae with identity.
Archiv für mathematische Logik und Grundlagenforschung, Tome 22 (1982), pp. 43-50 Cet article a éte moissonné depuis la source European Digital Mathematics Library

Voir la notice de l'article

Mots-clés : Krom sentences, conservative reduction class for satisfiability, decidable class 
@article{AMLG_1982__22_137990,
     author = {S.O. Aanderaa and E. B\"orger},
     title = {Prefix classes of {Krom} formulae with identity.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {43--50},
     year = {1982},
     volume = {22},
     zbl = {0494.03007},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1982__22_137990/}
}
TY  - JOUR
AU  - S.O. Aanderaa
AU  - E. Börger
TI  - Prefix classes of Krom formulae with identity.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1982
SP  - 43
EP  - 50
VL  - 22
UR  - http://geodesic.mathdoc.fr/item/AMLG_1982__22_137990/
ID  - AMLG_1982__22_137990
ER  - 
%0 Journal Article
%A S.O. Aanderaa
%A E. Börger
%T Prefix classes of Krom formulae with identity.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1982
%P 43-50
%V 22
%U http://geodesic.mathdoc.fr/item/AMLG_1982__22_137990/
%F AMLG_1982__22_137990
S.O. Aanderaa; E. Börger. Prefix classes of Krom formulae with identity.. Archiv für mathematische Logik und Grundlagenforschung, Tome 22 (1982), pp. 43-50. http://geodesic.mathdoc.fr/item/AMLG_1982__22_137990/