Диз'юнкт Горна (Ukrainian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Диз'юнкт Горна" in Ukrainian language version.

refsWebsite

Global rank Ukrainian rank

low place

2^nd place

4^th place

1^st place

low place

doi.org

Horn, Alfred (1951). On sentences which are true of direct unions of algebras. Journal of Symbolic Logic^[en]. 16 (1): 14—21. doi:10.2307/2268661. (англ.)
Dowling, William F.; Gallier, Jean H. (1984). Linear-time algorithms for testing the satisfiability of propositional Horn formulae. Journal of Logic Programming^[en]. 1 (3): 267—284. doi:10.1016/0743-1066(84)90014-1. (англ.)
van Emden, M. H.; Kowalski, R. A. (1976). The semantics of predicate logic as a programming language (PDF). Journal of the ACM^[en]. 23 (4): 733—742. doi:10.1145/321978.321991. Архів оригіналу (PDF) за 3 березня 2016. Процитовано 31 січня 2016.

van Emden, M. H.; Kowalski, R. A. (1976). The semantics of predicate logic as a programming language (PDF). Journal of the ACM^[en]. 23 (4): 733—742. doi:10.1145/321978.321991. Архів оригіналу (PDF) за 3 березня 2016. Процитовано 31 січня 2016.

van Emden, M. H.; Kowalski, R. A. (1976). The semantics of predicate logic as a programming language (PDF). Journal of the ACM^[en]. 23 (4): 733—742. doi:10.1145/321978.321991. Архів оригіналу (PDF) за 3 березня 2016. Процитовано 31 січня 2016.

Horn, Alfred (1951). On sentences which are true of direct unions of algebras. Journal of Symbolic Logic^[en]. 16 (1): 14—21. doi:10.2307/2268661. (англ.)
Dowling, William F.; Gallier, Jean H. (1984). Linear-time algorithms for testing the satisfiability of propositional Horn formulae. Journal of Logic Programming^[en]. 1 (3): 267—284. doi:10.1016/0743-1066(84)90014-1. (англ.)
van Emden, M. H.; Kowalski, R. A. (1976). The semantics of predicate logic as a programming language (PDF). Journal of the ACM^[en]. 23 (4): 733—742. doi:10.1145/321978.321991. Архів оригіналу (PDF) за 3 березня 2016. Процитовано 31 січня 2016.