Karl-Heinz Diener

According to our database, Karl-Heinz Diener authored at least 9 papers between 1983 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2002

Integrated Design and Test Generation Under Internet Based Environment MOSCITO.

André Schneider, Karl-Heinz Diener, Eero Ivask, Raimund Ubar, Elena Gramatová, Thomas Hollstein, Wieslaw Kuzmicz, Zebo Peng

Proceedings of the 2002 Euromicro Symposium on Digital Systems Design (DSD 2002), 2002

Internet-Based Collaborative Test Generation with MOSCITO.

André Schneider, Karl-Heinz Diener, Eero Ivask, Jaan Raik, Raimund Ubar, P. Miklos, T. Cibáková, Elena Gramatová

Proceedings of the 2002 Design, 2002

2000

On kappa-hereditary Sets and Consequences of the Axiom of Choice.

Karl-Heinz Diener

Math. Log. Q., 2000

1997

Entwurfsautomatisierung - F & E-Arbeiten der Dresdner Außenstelle des Fraunhofer-Instituts für Integrierte Schaltungen.

Günter Elst, Karl-Heinz Diener

Inform. Forsch. Entwickl., 1997

1994

A Remark an Ascending Chain Conditions, the Countable Axiom of Choice and the Principle of Dependent Choices.

Karl-Heinz Diener

Math. Log. Q., 1994

1993

On the Predecessor Relation in Abstract Algebras.

Karl-Heinz Diener

Math. Log. Q., 1993

1992

On the Transitive Hull of a κ-Narrow Relation.

Karl-Heinz Diener

Math. Log. Q., 1992

1987

Einfache Beweise Für Die Eindeutige Zerlegbarkeit Von Ausdrücken Endlicher und Unendlicher Sprachen.

Karl-Heinz Diener

Math. Log. Q., 1987

1983

On Constructing Infinitary Languages L_{α β} without the Axiom of Choice.

Karl-Heinz Diener

Math. Log. Q., 1983