This is the best I (actually Google) can do.<div><br><div>Proof:<br><a href="https://coq.inria.fr/library/Coq.MSets.MSetGenTree.html" target="_blank">https://coq.inria.fr/library/Coq.MSets.MSetGenTree.html</a><div><p dir="ltr">Test:</p><p dir="ltr"><a href="http://www.geeksforgeeks.org/check-if-a-binary-tree-is-subtree-of-another-binary-tree/" target="_blank">http://www.geeksforgeeks.org/check-if-a-binary-tree-is-subtree-of-another-binary-tree/</a></p><p dir="ltr">At some point I'll look into this myself, it's a nice challenge.</p></div><div><br></div><div>donderdag 28 januari 2016 heeft Pavel Velikhov <<a>pavel.velikhov@gmail.com</a>> het volgende geschreven:</div><div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto" style="word-wrap:break-word">Hmm.. testing subsumption is not as trivial as I thought. Here's a cleaner way to do it: represent both path expressions as DFAs and then test subsumption. You'll get DFAs A and B and then test if┬áminimized(B-A) is empty.</div>
</blockquote></div>
</div></div><br><br>-- <br><div>
<p> 
W.S. Hager<br>
Lagua Web Solutions<br>
<a href="http://lagua.nl/" target="_blank">http://lagua.nl</a><br></p></div><br>