Repository | Book | Chapter
Reasoning in trees
pp. 125-135
Abstract
a set of states S;
Publication details
Published in:
Skordev Dimiter G (1987) Mathematical logic and its applications. Dordrecht, Springer.
Pages: 125-135
DOI: 10.1007/978-1-4613-0897-3_8
Full citation:
Ruge Jervell Herman (1987) „Reasoning in trees“, In: D.G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, 125–135.