Karl-Heinz Diener

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2002
Integrated Design and Test Generation Under Internet Based Environment MOSCITO.
Proceedings of the 2002 Euromicro Symposium on Digital Systems Design (DSD 2002), 2002

Internet-Based Collaborative Test Generation with MOSCITO.
Proceedings of the 2002 Design, 2002

2000
On kappa-hereditary Sets and Consequences of the Axiom of Choice.
Math. Log. Q., 2000

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

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

1993
On the Predecessor Relation in Abstract Algebras.
Math. Log. Q., 1993

1992
On the Transitive Hull of a κ-Narrow Relation.
Math. Log. Q., 1992

1987
Einfache Beweise Für Die Eindeutige Zerlegbarkeit Von Ausdrücken Endlicher und Unendlicher Sprachen.
Math. Log. Q., 1987

1983
On Constructing Infinitary Languages Lα β without the Axiom of Choice.
Math. Log. Q., 1983


  Loading...