Deciding Strong Sequentiality for orthogonal term rewriting systems is in Co-NP (1995)

Cached

Download Links

by Irène Durand , Universit'e De Bordeaux I
Citations:3 - 0 self