Dov M. Gabbay

Affiliation:  .
To reach:     electronic connection not known.

Modal and Temporal Logic Programming.
In: Galton, Antony: Temporal Logics and their Applications. Code: [Galton87A].
Code: [Gabbay87A].

Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 4. (With C.J. Hogger, and J.A. Robinson).
Code: [Gabbay95A].

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.