• DML-CZ Home
• Mathematica Slovaca

Author: Mendris, Robert

• Mendris, Robert; Zlatoš, Pavol: Axiomatization and undecidability results for linear betweenness relations. (English). Mathematica Slovaca, vol. 46 (1996), issue 4, pp. 305-315