On the complementation of asynchronous cellular Büchi automata
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4030996 (Why is no real title available?)
- scientific article; zbMATH DE number 4072393 (Why is no real title available?)
- scientific article; zbMATH DE number 176496 (Why is no real title available?)
- Asynchronous cellular automata for infinite traces
- Asynchronous mappings and asynchronous cellular automata
- Combinatorial problems of commutation and rearrangements
- Combinatorics on traces
- Deterministic asynchronous automata for infinite traces
- Determinizing Büchi asynchronous automata
- Logical definability on infinite traces
- Notes on finite asynchronous automata
- On the complementation of Büchi asynchronous cellular automata
- On the complementation of Büchi automata
Cited in
(2)
This page was built for publication: On the complementation of asynchronous cellular Büchi automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1349891)