Burkhard Molzan

According to our database, Burkhard Molzan authored at least 5 papers between 1982 and 1990.

Collaborative distances:

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

1990

Expressibility and Nonuniform Complexity Classes.

Burkhard Molzan

SIAM J. Comput., 1990

RELACS - a Recursive Layout Computing System.

Lothar Budach, Ernst-Günter Giessmann, Hubert Grassmann, Bernd Graw, Christoph Meinel, Burkhard Molzan, Uwe Schäfer, Steffen Zahn, Peter Zienicke

J. Inf. Process. Cybern., 1990

1989

Recursive VLSI design theory and application.

Lothar Budach, Ernst-Günter Giessmann, Hubert Grassmann, Bernd Graw, Christoph Meinel, Burkhard Molzan, Uwe Schäfer, Peter Zienicke

Bull. EATCS, 1989

1982

The Theory of Superatomic Boolean Algebras in the Logic With the Binary Ramsey Quantifier.

Burkhard Molzan

Math. Log. Q., 1982

How to Eliminate Quantifiers in the Elementary Theory of <i>p</i>-Rings.

Burkhard Molzan

Math. Log. Q., 1982