Rüdiger Schätz

Publication Activity (10 Years)

Years Active: 1983-1990
Publications (10 Years): 0

University of Duisburg-Essen, Germany (PHD)

Education History

University of Duisburg-Essen, Germany

PHD

Publications

Rüdiger Schätz
Formalizing falsification: Three delete operations. Math. Log. Q. 36 (5) (1990)
Rüdiger Schätz
Delete Operations and Horn Formulas. CSL (1988)
Anne Brüggemann-Klein, Lutz Priese, Dieter Rödding, Rüdiger Schätz
Modular decomposition of automata. Logic and Machines (1983)