Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by
From MaRDI portal
(Redirected from Publication:783293)
Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by \(\omega\)
Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by \(\omega\)
Recommendations
Cites work
- scientific article; zbMATH DE number 3915652 (Why is no real title available?)
- scientific article; zbMATH DE number 3720895 (Why is no real title available?)
- scientific article; zbMATH DE number 3767656 (Why is no real title available?)
- scientific article; zbMATH DE number 1222601 (Why is no real title available?)
- scientific article; zbMATH DE number 3212886 (Why is no real title available?)
- scientific article; zbMATH DE number 3329919 (Why is no real title available?)
- A proof of Ehrenfeucht's conjecture
- Automata, Semigroups and Recognizability of Words on Ordinals
- Axiomatizing the subsumption and subword preorders on finite and infinite partial words
- Decision methods in the theory of ordinals
- Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems
- Finite automata and ordinals
- Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes
- Free shuffle algebras in language varieties
- Logic over words on denumerable ordinals
- Long words: The theory of concatenation and \(\omega\)-power
- Systems of equations over a free monoid and Ehrenfeucht's conjecture
- The equational theory of pomsets
- The equational theory of regular words
- The monadic second order theory of all countable ordinals
This page was built for publication: Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by \(\omega\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q783293)
