Christian Herrmann

11 papers A* 1C 1Journal 9
YearRankTypeTitle / Venue / Authors
2016 J jnl
Computational Complexity of Quantum Satisfiability.
J. ACM
Christian Herrmann, Martin Ziegler
2016 J jnl
Homogeneous Modular Lattices are Distributive.
Order
Christian Herrmann
2016 J jnl
On the consistency problem for modular lattices and related structures.
Int. J. Algebra Comput.
Christian Herrmann, Yasuyuki Tsukamoto, Martin Ziegler
2013 C conf
Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines.
MCU
Christian Herrmann, Johanna Sokoli, Martin Ziegler
2011 A* conf
Computational Complexity of Quantum Satisfiability.
LICS
Christian Herrmann, Martin Ziegler
2010 J jnl
Expressiveness and Computational Complexity of Geometric Quantum Logic
CoRR
Christian Herrmann, Martin Ziegler
2010 J jnl
On the equational theory of projection lattices of finite von Neumann factors.
J. Symb. Log.
Christian Herrmann
2006 J jnl
Corrigendum to "On the undecidability of implications between embedded multivalued database dependencies" [Inform. and Comput. 122(1995) 221-235].
Inf. Comput.
Christian Herrmann
2006 J jnl
Corrigendum: Gluings of Modular Lattices.
Order
Christian Herrmann
2000 J jnl
On the Size of Boolean Combinations of Subgroups of Finite Abelian Groups.
Order
Christian Herrmann
1996 J jnl
A Polynomial Algorithm for Testing Congruence Modularity.
Int. J. Algebra Comput.
Christian Herrmann, Marcel Wild