Herrmann, Christian (2022)
On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices.
In: Algebra universalis, 83 (1)
doi: 10.1007/s00012-021-00760-3
Artikel, Bibliographie

Herrmann, Christian ; Luksch, P. ; Skorsky, M. ; Wille, R. (2000)
Algebras of semiconcepts and double Boolean algebras.
Buch, Bibliographie

Herrmann, Christian ; Roddy, M. S. (1999)
Proatomic modular ortholattices: representation and equational theory.
In: Atti dell'Incontro di Matematica in memoria di Herbert Gross (1936-1989) = Akten der Mathematik-Tagung in Memoriam von Herbert Gross (1936-1989)
Buchkapitel, Bibliographie

Herrmann, Christian ; Roddy, (1998)
Representation and equational theory of orthocomplemented modular lattices.
Buch, Bibliographie

Herrmann, Christian ; Moresi, R. ; Schuppli, R. ; Wild, M.
Hrsg.: Keller, H. A. ; Künzi, U.-M. ; Wild, M. (1998)
Classification of subspaces.
In: Orthogonal geometry in infinite dimensional vector spaces, Auflage: Bayreuth: Mathemat. Inst. der Univ., 1998
Buchkapitel, Bibliographie

Herrmann, Christian (1998)
On automorphism groups of Arguesian lattices.
In: Acta mathematica Hungarica. 79 (1998), 1-2, S. 35-38
Artikel, Bibliographie

Herrmann, Christian (1996)
A polynomial algorithm for testing congruence modularity.
In: International journal of algebra and computation. 6 (1996), No. 4, S. 379-287
Artikel, Bibliographie

Herrmann, Christian (1995)
Alan Day's work on modular and Arguesian lattices.
In: Algebra universalis. 34 (1995), S. 35-60
Artikel, Bibliographie

Herrmann, Christian ; Moresi, R. ; Schuppli, R. ; Walter, M. ; Widmer, C. ; Wild, M. (1995)
Classification of subspace in infinite dimensional orthogonal geometry.
Buch, Bibliographie

Herrmann, Christian (1995)
On the size of complements of unions of subgroups of finite abelian groups.
Buch, Bibliographie

Herrmann, Christian (1995)
On the undecidability of implications between embedded multivalued database dependencies.
In: Information and computation. 122 (1995), No. 2, S. 221-235
Artikel, Bibliographie

Herrmann, Christian (1995)
A polynomial algorithm for testing congruence modularity.
Buch, Bibliographie