Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences
@article{10_4064_fm_107_1_21_32, author = {H. Tuschik}, title = {On the decidability of the theory of linear orderings with generalized quantifiers}, journal = {Fundamenta Mathematicae}, pages = {21--32}, publisher = {mathdoc}, volume = {107}, number = {1}, year = {1980}, doi = {10.4064/fm-107-1-21-32}, language = {en}, url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-107-1-21-32/} }
TY - JOUR AU - H. Tuschik TI - On the decidability of the theory of linear orderings with generalized quantifiers JO - Fundamenta Mathematicae PY - 1980 SP - 21 EP - 32 VL - 107 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/fm-107-1-21-32/ DO - 10.4064/fm-107-1-21-32 LA - en ID - 10_4064_fm_107_1_21_32 ER -
%0 Journal Article %A H. Tuschik %T On the decidability of the theory of linear orderings with generalized quantifiers %J Fundamenta Mathematicae %D 1980 %P 21-32 %V 107 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/fm-107-1-21-32/ %R 10.4064/fm-107-1-21-32 %G en %F 10_4064_fm_107_1_21_32
H. Tuschik. On the decidability of the theory of linear orderings with generalized quantifiers. Fundamenta Mathematicae, Tome 107 (1980) no. 1, pp. 21-32. doi : 10.4064/fm-107-1-21-32. http://geodesic.mathdoc.fr/articles/10.4064/fm-107-1-21-32/
Cité par Sources :