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

Empfehlungen zum Schulfach Informatik (Sek.~II) und zur Ausbildung von Informatik-Lehrkräften, , , , , , , , , and 2 other author(s). Sonderdruck des Fakultätentages in der Bundesrepublik Deutschland, (1993)Decision problems in generalized vector addition systems.. Fundam. Informaticae, 3 (4): 497- (1980)The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set., and . Math. Log. Q., 26 (28-30): 459-469 (1980)Adaptive function approximation in reinforcement learning with an interpolating growing neural gas., and . HIS, page 512-517. IEEE, (2012)State Aggregation by Growing Neural Gas for Reinforcement Learning in Continuous State Spaces., and . ICMLA (1), page 430-435. IEEE Computer Society, (2011)On the computational complexity of read once resolution decidability in 2CNF formulas., , and . CoRR, (2016)On the Computational Complexity of Quantified Horn Clauses., , and . CSL, volume 329 of Lecture Notes in Computer Science, page 129-137. Springer, (1987)Propositional logic - deduction and algorithms., and . Cambridge tracts in theoretical computer science Cambridge University Press, (1999)SAT-Problems and Reductions with Respect to the Number of Variables., and . J. Log. Comput., 7 (4): 457-471 (1997)Optimization Aspects for Propositional Binary Prolog Programs., and . Elektronische Informationsverarbeitung und Kybernetik, 24 (11/12): 585-599 (1988)