TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Springe zu: Englisch
Anzahl der Einträge: 11.

Englisch

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.
Konferenzveröffentlichung, 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

Diese Liste wurde am Sat Apr 20 03:08:43 2024 CEST generiert.