A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Denis Béchet, Philippe de Groote, Christian Retoré. A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders. In Hubert Comon, editor, Rewriting Techniques and Applications, 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings. Volume 1232 of Lecture Notes in Computer Science, pages 230-240, Springer, 1997.

This author has not been identified. Look up 'Denis Béchet' in GoogleThis author has not been identified. Look up 'Philippe de Groote' in GoogleThis author has not been identified. Look up 'Christian Retoré' in Google

runs on WebDSL