TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 11.

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

Herrmann, Christian ; Roddy, M. S. (1999)
Proatomic modular ortholattices: representation and equational theory.
Conference or Workshop Item, Bibliographie

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

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

Herrmann, Christian (1998)
On automorphism groups of Arguesian lattices.
In: Acta mathematica Hungarica. 79 (1998), 1-2, S. 35-38
Article, 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
Article, Bibliographie

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

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

Herrmann, Christian (1995)
On the size of complements of unions of subgroups of finite abelian groups.
Book, 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
Article, Bibliographie

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

This list was generated on Tue Feb 27 01:49:27 2024 CET.