A semantics for the integration of database modifications and transaction brackets into a logic programming language
In: Information systems and artificial intelligence / Workshop on Information Systems and Artificial Intelligence, Jg. 1990, S. 1-10Separation algorithms for cutting planes based on mixed integer row relaxations
implementation and evaluation in the context of mixed integer programming solver software2009Signed representing measures
In: Archiv der Mathematik, Jg. 1977, S. 503-509Simulating binary trees on x-trees
In: 3rd Annual ACM Symposium on Parallel Algorithms and Architectures / Symposium on Parallel Algorithms and Architectures <3, 1991, Hilton Head Island, SC>, S. 147-158Simulating probabilistic by deterministic algebraic computation trees
In: Theoretical Computer Science, Jg. 1985, S. 325-330Singularities of transmission problems
In: Mathematische Annalen, Jg. 1984, S. 233-253