Repository | Book | Chapter
(1987) Mathematical logic and its applications, Dordrecht, Springer.
a set of states S;
Publication details
DOI: 10.1007/978-1-4613-0897-3_8
Full citation:
Ruge Jervell, H. (1987)., Reasoning in trees, in D. G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, pp. 125-135.
This document is unfortunately not available for download at the moment.