On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation.

Yoshiki Nakamura

Browse the full MFCS paper archive.