Product interval automata (Q1847544): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized ternary simulation of sequential circuits
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q4501664
@@ Property / cites work: Q4501664 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251919
@@ Property / cites work: Q4251919 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234084
@@ Property / cites work: Q4234084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251916
@@ Property / cites work: Q4251916 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270073
@@ Property / cites work: Q4270073 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4470509
@@ Property / cites work: Q4470509 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02717183
+Normal rank
@@ Property / OpenAlex ID @@
+W2064167447
@@ Property / OpenAlex ID: W2064167447 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1847544