Une axiomatisation au premier ordre des arrangements de pseudodroites euclidiennes. (A first-order axiomatisation of arrangements of Euclidean pseudolines.)
From MaRDI portal
Publication:1296148
DOI10.5802/aif.1697zbMath0973.51006OpenAlexW2321854369MaRDI QIDQ1296148
Frédéric Olive, Bruno Courcelle
Publication date: 12 July 1999
Published in: Annales de l'Institut Fourier (Search for Journal in Brave)
Full work available at URL: http://www.numdam.org/item?id=AIF_1999__49_3_883_0
Combinatorial aspects of matroids and geometric lattices (05B35) Combinatorial geometries and geometric closure systems (51D20) Planar arrangements of lines and pseudolines (aspects of discrete geometry) (52C30)
Related Items (1)
Cites Work
This page was built for publication: Une axiomatisation au premier ordre des arrangements de pseudodroites euclidiennes. (A first-order axiomatisation of arrangements of Euclidean pseudolines.)