Рекурсивно несовместные алгоритмические проблемы на 1-конструктивизируемых дистрибутивных решетках с относительными дополнениями.
С.Т. Федоряев; S. T. Fedorjaev; S. T. Fedorǎev; S. T. Fedorjaev
Algebra i Logika (1995)
- Volume: 34, Issue: 6, page 667-680
- ISSN: 0373-9252
Access Full Article
top
How to cite
topФедоряев, С.Т., et al. "Рекурсивно несовместные алгоритмические проблемы на 1-конструктивизируемых дистрибутивных решетках с относительными дополнениями.." Algebra i Logika 34.6 (1995): 667-680. <http://eudml.org/doc/187751>.
@article{Федоряев1995,
author = {Федоряев, С.Т., Fedorjaev, S. T., Fedorǎev, S. T., Fedorjaev, S. T.},
journal = {Algebra i Logika},
keywords = {1-constructible lattice; constructive model; algorithmic problem; constructivization; algorithmic dimension; algebraic reducibility; recursive lattice; atoms of a lattice},
language = {rus},
number = {6},
pages = {667-680},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Рекурсивно несовместные алгоритмические проблемы на 1-конструктивизируемых дистрибутивных решетках с относительными дополнениями.},
url = {http://eudml.org/doc/187751},
volume = {34},
year = {1995},
}
TY - JOUR
AU - Федоряев, С.Т.
AU - Fedorjaev, S. T.
AU - Fedorǎev, S. T.
AU - Fedorjaev, S. T.
TI - Рекурсивно несовместные алгоритмические проблемы на 1-конструктивизируемых дистрибутивных решетках с относительными дополнениями.
JO - Algebra i Logika
PY - 1995
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 34
IS - 6
SP - 667
EP - 680
LA - rus
KW - 1-constructible lattice; constructive model; algorithmic problem; constructivization; algorithmic dimension; algebraic reducibility; recursive lattice; atoms of a lattice
UR - http://eudml.org/doc/187751
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.