3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
Mustapha Kabil, Maurice Pouzet
We consider reflexive and involutive transition systems over an ordered alphabet A equipped with an involution. We give a description of the injective envelope of any two-element…