Logo image
Se connecter
A complete axiomatisation for the inclusion of series-parallel partial orders
Chapitre d'ouvrage

A complete axiomatisation for the inclusion of series-parallel partial orders

Denis Bechet, Philippe de Groote et Christian Retoré
Rewriting Techniques and Applications, pp.230-240
Lecture Notes in Computer Science, Springer Berlin Heidelberg
02/06/2005

Résumé

Algebraic Expression Algebraic Representation Disjoint Union Linear Logic Partial Order

Indicateurs

1 Consultations de la notice

Détails

Logo image