Geodesic
Axiomatization and undecidability results for linear betweenness relations
Mathematica slovaca, Tome 46 (1996) no. 4, pp. 305-315.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

Classification : 03B25, 03B30, 52A01 
@article{MASLO_1996__46_4_a1,
     author = {Mendris, Robert and Zlato\v{s}, Pavol},
     title = {Axiomatization and undecidability results for linear betweenness relations},
     journal = {Mathematica slovaca},
     pages = {305--315},
     publisher = {mathdoc},
     volume = {46},
     number = {4},
     year = {1996},
     mrnumber = {1472625},
     zbl = {0890.03003},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MASLO_1996__46_4_a1/}
}
TY  - JOUR
AU  - Mendris, Robert
AU  - Zlatoš, Pavol
TI  - Axiomatization and undecidability results for linear betweenness relations
JO  - Mathematica slovaca
PY  - 1996
SP  - 305
EP  - 315
VL  - 46
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MASLO_1996__46_4_a1/
LA  - en
ID  - MASLO_1996__46_4_a1
ER  - 
%0 Journal Article
%A Mendris, Robert
%A Zlatoš, Pavol
%T Axiomatization and undecidability results for linear betweenness relations
%J Mathematica slovaca
%D 1996
%P 305-315
%V 46
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MASLO_1996__46_4_a1/
%G en
%F MASLO_1996__46_4_a1
Mendris, Robert; Zlatoš, Pavol. Axiomatization and undecidability results for linear betweenness relations. Mathematica slovaca, Tome 46 (1996) no. 4, pp. 305-315. http://geodesic.mathdoc.fr/item/MASLO_1996__46_4_a1/