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

Design Validation of a New Generic Fly-by-X Flight Control System for Helicopters, , , , , and . Moscow, (September 2013)Issues in Theorem Proving Based on the Connection Method., , , , and . TABLEAUX, volume 918 of Lecture Notes in Computer Science, page 1-16. Springer, (1995)A Multi-level Approach to Program Synthesis., , , , , , and . LOPSTR, volume 1463 of Lecture Notes in Computer Science, page 1-27. Springer, (1997)Problem-Oriented Applications of Automated Theorem Proving., , , and . DISCO, volume 1128 of Lecture Notes in Computer Science, page 1-21. Springer, (1996)Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik.. DISKI Infix, (1999)Deciding Intuitionistic Propositional Logic via Translation into Classical Logic., and . CADE, volume 1249 of Lecture Notes in Computer Science, page 131-145. Springer, (1997)Long term optimization of asset replacement in energy infrastructures., , , and . SMC, page 2615-2621. IEEE, (2006)