5th International Workshop on Proof, Computation, Complexity, PCC ’06

Authors

Karl-Heinz Niggl, Reinhard Kahle, Birgit Elbl,