Ernst Specker

Publication Activity (10 Years)

Years Active: 1949-2005
Publications (10 Years): 0

Publications

Ernst Specker
Modular Counting and Substitution of Structures. Comb. Probab. Comput. 14 (1-2) (2005)
Ernst Specker
Engeler's Scientific Work. Math. Struct. Comput. Sci. 2 (2) (1992)
H. Kull, Ernst Specker
Direct Construction of Mutually Orthogonal Latin Square. Computation Theory and Logic (1987)
Martin Fürer, Walter Schnyder, Ernst Specker
Normal Forms for Trivalent Graphs and Graphs of Bounded Valence STOC (1983)
Christian Blatter, Ernst Specker
Recurrence relations for the number of labeled structures on a finite set. Logic and Machines (1983)
Karl J. Lieberherr, Ernst Specker
Complexity of Partial Satisfaction. J. ACM 28 (2) (1981)
Karl J. Lieberherr, Ernst Specker
Complexity of Partial Satisfaction FOCS (1979)
Ernst Specker
Ein Polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme. Komplexität von Entscheidungsproblemen 1976 (1976)
Ernst Specker, Georges Wick
Längen und Formeln. Komplexität von Entscheidungsproblemen 1976 (1976)
Ernst Specker
Nicht Konstruktiv Beweisbare Satze Der Analysis. J. Symb. Log. 14 (3) (1949)