Pages that link to "Item:Q4680374"
From MaRDI portal
The following pages link to The complexity of plane hyperbolic incidence geometry is ???? (Q4680374):
Displaying 6 items.
- The axiomatics of ordered geometry: I. Ordered incidence spaces (Q533109) (← links)
- Lambert or Saccheri quadrilaterals as single primitive notions for plane hyperbolic geometry (Q936611) (← links)
- The calculus of reflections and the order relation in hyperbolic geometry (Q1926114) (← links)
- Correction to ``Axiomatizations of hyperbolic geometry'' (Q2576415) (← links)
- Corrigendum to “The complexity of plane hyperbolic incidence geometry is ∀∃∀∃” (Q3545220) (← links)
- 2005 Annual Meeting of the Association for Symbolic Logic (Q5479571) (← links)