dblp.uni-trier.dewww.uni-trier.de

Ernst Specker

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
11EEErnst Specker: Modular Counting and Substitution of Structures. Combinatorics, Probability & Computing 14(1-2): 203-210 (2005)
1992
10 Ernst Specker: Engeler's Scientific Work. Mathematical Structures in Computer Science 2(2): 111-117 (1992)
1987
9 H. Kull, Ernst Specker: Direct Construction of Mutually Orthogonal Latin Square. Computation Theory and Logic 1987: 224-236
1983
8 Chr. Blatter, Ernst Specker: Recurrence relations for the number of labeled structures on a finite set. Logic and Machines 1983: 43-61
7 Martin Fürer, Walter Schnyder, Ernst Specker: Normal Forms for Trivalent Graphs and Graphs of Bounded Valence STOC 1983: 161-170
1981
6EEKarl J. Lieberherr, Ernst Specker: Complexity of Partial Satisfaction. J. ACM 28(2): 411-421 (1981)
1979
5 Karl J. Lieberherr, Ernst Specker: Complexity of Partial Satisfaction FOCS 1979: 132-139
1976
4 Ernst Specker, Volker Strassen: Komplexität von Entscheidungsproblemen, Ein Seminar Springer 1976
3 Ernst Specker, Georges Wick: Längen und Formeln. Komplexität von Entscheidungsproblemen 1976 1976: 182-217
2 Ernst Specker: Ein Polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme. Komplexität von Entscheidungsproblemen 1976 1976: 72-85
1949
1 Ernst Specker: Nicht Konstruktiv Beweisbare Satze Der Analysis. J. Symb. Log. 14(3): 145-158 (1949)

Coauthor Index

1Chr. Blatter [8]
2Martin Fürer [7]
3H. Kull [9]
4Karl J. Lieberherr [5] [6]
5Walter Schnyder [7]
6Volker Strassen [4]
7Georges Wick [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)