Ernst Specker

According to our database, Ernst Specker authored at least 9 papers between 1949 and 2005.

Collaborative distances:

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

2005

Modular Counting and Substitution of Structures.

Ernst Specker

Comb. Probab. Comput., 2005

1992

Engeler's Scientific Work.

Ernst Specker

Math. Struct. Comput. Sci., 1992

1987

Direct Construction of Mutually Orthogonal Latin Square.

H. Kull, Ernst Specker

Proceedings of the Computation Theory and Logic, In Memory of Dieter Rödding, 1987

1983

Normal Forms for Trivalent Graphs and Graphs of Bounded Valence

Martin Fürer, Walter Schnyder, Ernst Specker

Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 1983

Recurrence relations for the number of labeled structures on a finite set.

Christian Blatter, Ernst Specker

Proceedings of the Logic and Machines: Decision Problems and Complexity, 1983

1981

Complexity of Partial Satisfaction.

Karl J. Lieberherr, Ernst Specker

J. ACM, 1981

1976

Längen und Formeln.

Ernst Specker, Georges Wick

Proceedings of the Komplexität von Entscheidungsproblemen, Ein Seminar, 1976

Ein Polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme.

Ernst Specker

Proceedings of the Komplexität von Entscheidungsproblemen, Ein Seminar, 1976

1949

Nicht Konstruktiv Beweisbare Satze Der Analysis.

Ernst Specker

J. Symb. Log., 1949