Теория определимости в контексте информационно-коммуникационных систем
В работе обсуждается проблематика определимости и пространств отношений в исторической перспективе, обрисована роль Альфреда Тарского и Ларса Свенониуса, рассматриваются последние результаты, расширяющие полученные ранее для однородных структур, в частности на случай пополнимых вверх. Приложения включают языки описания баз данных, анализ CSP - Constraint Satisfaction Problem (обобщенной выполнимости).
2018 ◽
Vol 6
(5)
◽
pp. 550-555
2015 ◽
Vol 53
(19)
◽
pp. 5782-5796
◽
1993 ◽
Vol 38
(1-5)
◽
pp. 715-722
2012 ◽
Vol 23
(11)
◽
pp. 1997-2009
◽
2004 ◽
Vol 34
(4)
◽
pp. 1786-1797
◽
Keyword(s):
Keyword(s):