B. C. Moszkowski. Executing temporal logic programs. Cambridge University Press, Cambridge etc. 1986, xiii + 125 pp.
- 12 March 1988
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 53 (1) , 309
- https://doi.org/10.2307/2274451
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: