Dynamic logic assigned to automata (Q682633): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2591476149
@@ Property / OpenAlex ID: W2591476149 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04456
@@ Property / arXiv ID: 1809.04456 / rank @@
+Normal rank
@@ Property / cites work @@
+Free quantum field theory from quantum cellular automata
+Normal rank
@@ Property / cites work @@
+Lattices and ordered algebraic structures
@@ Property / cites work: Lattices and ordered algebraic structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342094
@@ Property / cites work: Q4342094 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic effect algebras and their representations
@@ Property / cites work: Dynamic effect algebras and their representations / rank @@
+Normal rank
@@ Property / cites work @@
+Combined model checking for temporal, probabilistic, and real-time logics
+Normal rank
@@ Property / cites work @@
+Dynamic order algebras as an axiomatization of modal and tense logics
+Normal rank
@@ Property / cites work @@
+Q2799965
@@ Property / cites work: Q2799965 / rank @@
+Normal rank
@@ Property / cites work @@
+Transition operators assigned to physical systems
@@ Property / cites work: Transition operators assigned to physical systems / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating automata and temporal logic normal forms
+Normal rank
@@ Property / cites work @@
+An Introduction to Practical Formal Methods Using Temporal Logic
+Normal rank
@@ Property / cites work @@
+Determinization of fuzzy automata via factorization of fuzzy states
+Normal rank
@@ Property / cites work @@
+The representation of posets and lattices by sets
@@ Property / cites work: The representation of posets and lattices by sets / rank @@
+Normal rank
@@ Property / cites work @@
+The complementation problem for Büchi automata with applications to temporal logic
+Normal rank
@@ Property / cites work @@
+Finite automata theory with membership values in lattices
+Normal rank