Rüdiger Schätz

According to our database1, Rüdiger Schätz authored at least 4 papers between 1983 and 1990.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1990
Formale Aspekte der Falsifikation: drei Updateoperationen.
PhD thesis, 1990

Formalizing falsification: Three delete operations.
Math. Log. Q., 1990

1988
Delete Operations and Horn Formulas.
Proceedings of the CSL '88, 1988

1983
Modular decomposition of automata.
Proceedings of the Logic and Machines: Decision Problems and Complexity, 1983


  Loading...