Karl-Heinz Diener

Publication Activity (10 Years)

Years Active: 1983-2002
Publications (10 Years): 0

Publications

André Schneider, Karl-Heinz Diener, Eero Ivask, Jaan Raik, Raimund Ubar, P. Miklos, T. Cibáková, Elena Gramatová
Internet-Based Collaborative Test Generation with MOSCITO. DATE (2002)
André Schneider, Karl-Heinz Diener, Eero Ivask, Raimund Ubar, Elena Gramatová, Thomas Hollstein, Wieslaw Kuzmicz, Zebo Peng
Integrated Design and Test Generation Under Internet Based Environment MOSCITO. DSD (2002)
Karl-Heinz Diener
On kappa-hereditary Sets and Consequences of the Axiom of Choice. Math. Log. Q. 46 (4) (2000)
Günter Elst, Karl-Heinz Diener
Entwurfsautomatisierung - F & E-Arbeiten der Dresdner Außenstelle des Fraunhofer-Instituts für Integrierte Schaltungen. Inform. Forsch. Entwickl. 12 (4) (1997)
Karl-Heinz Diener
A Remark an Ascending Chain Conditions, the Countable Axiom of Choice and the Principle of Dependent Choices. Math. Log. Q. 40 (1994)
Karl-Heinz Diener
On the Predecessor Relation in Abstract Algebras. Math. Log. Q. 39 (1993)
Karl-Heinz Diener
On the Transitive Hull of a κ-Narrow Relation. Math. Log. Q. 38 (1) (1992)
Karl-Heinz Diener
Einfache Beweise Für Die Eindeutige Zerlegbarkeit Von Ausdrücken Endlicher und Unendlicher Sprachen. Math. Log. Q. 33 (3) (1987)
Karl-Heinz Diener
without the Axiom of Choice. Math. Log. Q. 29 (6) (1983)