Repository | Book | Chapter

COPR BookmarkLink
225577

(1987) Mathematical logic and its applications, Dordrecht, Springer.

Reasoning in trees

Herman Ruge Jervell

pp. 125-135

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.