← All problems
Unverified

Is left-sequentiality a decidable property of orthogonal systems?

The source page states the original problem together with its recorded qualifications and progress updates as follows.

Thatte [Middeldorp, 1991] showed that an orthogonal constructor-based rewrite system is left-sequential if and only if it is strongly sequential. Does this equivalence extend to the whole class of orthogonal term-rewriting systems? If not, is left-sequentiality a decidable property of orthogonal systems? See also [Middeldorp, 1991].

Coming soon

Organizer

Boyuan Wang portraitBoyuan Wang
Minghan Wang portraitMinghan Wang
Bochao Li portraitBochao Li
Hongwei Hu portraitHongwei Hu