Reasoning in trees
pp. 125-135
in: Dimiter G. Skordev (ed), Mathematical logic and its applications, Berlin, Springer, 1987Abstract
a set of states S;
Home > Edited Book > Contribution
pp. 125-135
in: Dimiter G. Skordev (ed), Mathematical logic and its applications, Berlin, Springer, 1987a set of states S;