Wolfgang May

Affiliation:  Dept of Computer Science, Albert-Ludwigs-Universität Freiburg, Freiburg, Germany.
To reach:     [homepage], [email].

A Tableau Calculus for First-Order Branching Time Logic. (With and Peter Schmitt).
Presented at: Formal and Applied Practical Reasoning. Venue: Bonn, Germany, 3-7.6.1996. Topics: [branching-time]. Code: [May96A].

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.