Definable relations in finite dimensional subspace lattices with involution: Part II: Quantifier-free and homogeneous descriptions

• Christian Herrmann ^[1] ; Martin Ziegler ^[2]
  1. [1] Technical University of Darmstadt

     Technical University of Darmstadt

     Kreisfreie Stadt Darmstadt, Alemania

     
  2. [2] KAIST School of Computing, Daejeon, South Korea
• Localización: Algebra universalis, ISSN 0002-5240, Vol. 80, Nº. 3, 2019, págs. 1-26
• Idioma: inglés
• DOI: 10.1007/s00012-019-0603-7
• Enlaces
  • Texto completo