Michael Thielscher

Affiliation:  TU Darmstadt, Germany.
To reach:     [homepage], [email].

On the Logic of Dynamic Systems.
Presented at: Stanford Spring Symposium on Reasoning about Actions. Venue: Stanford, CA, USA, 1995. Topics: [assessment]. Code: [Thielscher95A].

Ramification and Causality.

Technical report nr 3, January, 1996. International Computer Science Institute, Berkeley, CA, USA. Code: [Thielscher96A].

The author cards in this bibliographic reference structure serve as an index to those of the author's papers which are presented listed in the BRS. It is never intended as an exhaustive list of the author's publications in the present research area, or in general.