Logics for Reversible Regular Languages and Semigroups with Involution.

Paul Gastin, Amaldev Manuel, R. Govind

Browse the full DLT paper archive.