Frank Zetzsche

According to our database, Frank Zetzsche authored at least 5 papers between 1987 and 1994.

Collaborative distances:

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

1994

The Comparison of a CPO-based Semantics with a CMS-based semantics for CSP.

Mila E. Majster-Cederbaum, Frank Zetzsche

Theor. Comput. Sci., 1994

1991

Towards a Foundation for Semantics in Complete Metric Spaces

Mila E. Majster-Cederbaum, Frank Zetzsche

Inf. Comput., February, 1991

1990

Bericht vom GMD/GI-Workshop on Nonmonotonic Reasoning.

Frank Zetzsche

Künstliche Intell., 1990

1989

Non-monotonic Reasoning with the ATMS.

Frank Zetzsche

Proceedings of the EPIA 89, 1989

1987

Untersuchung zweier denotationaler Semantikdefinitionen von CSP.

Frank Zetzsche

PhD thesis, 1987