Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Homogeneous Modular Lattices are Distributive.. Order, 33 (2): 359-363 (2016)On the consistency problem for modular lattices and related structures., , and . Int. J. Algebra Comput., 26 (8): 1573-1595 (2016)Corrigendum to Ön the undecidability of implications between embedded multivalued database dependencies" Inform. and Comput. 122(1995) 221-235.. Inf. Comput., 204 (12): 1847-1851 (2006)Computational Complexity of Quantum Satisfiability., and . J. ACM, 63 (2): 19:1-19:31 (2016)Expressiveness and Computational Complexity of Geometric Quantum Logic, and . CoRR, (2010)Vorhabensbezeichnung: Flexible Transportkette 8: Beschaffung- und Distributionslogistik in der verarbeitenden Industrie - Demonstrationsfeld: Interaktive Fahrzeugeinsatzsteuerung im Güterfernverkehr bei kooperativen Unternehmensmodellen, and . PTV Planung Transport Verkehr AG, Karlsruhe, (2001)Model Predictive Control for Tumor Motion Compensation in Robot Assisted Radiotherapy, , and . Proceedings of the 18th IFAC World Congress 2011, page 5968--5973. Milano, Italy, (September 2011)Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines., , and . MCU, volume 128 of EPTCS, page 85-92. (2013)Visualizing AI Playtesting Data of 2D Side-scrolling Games., , , and . CoG, page 572-575. IEEE, (2020)A Polynomial Algorithm for Testing Congruence Modularity., and . Int. J. Algebra Comput., 6 (4): 379-388 (1996)