Closure properties of synchronized relations (Q5090470): Difference between revisions

@@ label / en / label / en @@
+Closure properties of synchronized relations
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Logics with Rational Relations
@@ Property / cites work: Graph Logics with Rational Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Logics with Rational Relations
@@ Property / cites work: Graph Logics with Rational Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, languages, and programming. 41st international colloquium, ICALP 2014, Copenhagen, Denmark, July 8--11, 2014. Proceedings, Part II
+Normal rank
@@ Property / cites work @@
+Q2754102
@@ Property / cites work: Q2754102 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+The growth ratio of synchronous rational relations is unique
+Normal rank
@@ Property / cites work @@
+Q3396589
@@ Property / cites work: Q3396589 / rank @@
+Normal rank
@@ Property / cites work @@
+Resynchronizing Classes of Word Relations
@@ Property / cites work: Resynchronizing Classes of Word Relations / rank @@
+Normal rank
@@ Property / cites work @@
+On Relations Defined by Generalized Finite Automata
+Normal rank
@@ Property / cites work @@
+Document Spanners
@@ Property / cites work: Document Spanners / rank @@
+Normal rank
@@ Property / cites work @@
+Path Logics for Querying Graphs: Combining Expressiveness and Efficiency
+Normal rank
@@ Property / cites work @@
+Synchronizing relations on words
@@ Property / cites work: Synchronizing relations on words / rank @@
+Normal rank
@@ Property / cites work @@
+On equivalence and uniformisation problems for finite transducers
+Normal rank
@@ Property / cites work @@
+Synchronized rational relations of finite and infinite words
+Normal rank
@@ Property / cites work @@
+Semigroups, Presburger formulas, and languages
@@ Property / cites work: Semigroups, Presburger formulas, and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518896
@@ Property / cites work: Q4518896 / rank @@
+Normal rank
@@ Property / cites work @@
+Transductions des langages de Chomsky
@@ Property / cites work: Transductions des langages de Chomsky / rank @@
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems
+Normal rank
@@ Property / full work available at URL @@
+https://hal.archives-ouvertes.fr/hal-01884574
+Normal rank
@@ Property / OpenAlex ID @@
+W2895623839
@@ Property / OpenAlex ID: W2895623839 / rank @@
+Normal rank
@@ Property / title @@
+Closure properties of synchronized relations (English)
@@ Property / title: Closure properties of synchronized relations (English) / rank @@
+Normal rank