On the complementation of Büchi asynchronous cellular automata (Q4632422): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58201-0_64
+Normal rank
@@ Property / OpenAlex ID @@
+W1523182928
@@ Property / OpenAlex ID: W1523182928 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial problems of commutation and rearrangements
+Normal rank
@@ Property / cites work @@
+Q3804201
@@ Property / cites work: Q3804201 / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous mappings and asynchronous cellular automata
+Normal rank
@@ Property / cites work @@
+Combinatorics on traces
@@ Property / cites work: Combinatorics on traces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281564
@@ Property / cites work: Q4281564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035660
@@ Property / cites work: Q4035660 / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous cellular automata for infinite traces
+Normal rank
@@ Property / cites work @@
+Determinizing Büchi asynchronous automata
@@ Property / cites work: Determinizing Büchi asynchronous automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the complementation of Büchi automata
@@ Property / cites work: On the complementation of Büchi automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of non-manipulable equilibria
@@ Property / cites work: On the structure of non-manipulable equilibria / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank