Towards a language theory for infinite N-free pomsets. (Q1874399): Difference between revisions

@@ Property / cites work @@
+Q4313087
@@ Property / cites work: Q4313087 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability
+Normal rank
@@ Property / cites work @@
+Monadic second-order definable graph transductions: a survey
+Normal rank
@@ Property / cites work @@
+Axiomatizing the subsumption and subword preorders on finite and infinite partial words
+Normal rank
@@ Property / cites work @@
+Q4737909
@@ Property / cites work: Q4737909 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666827
@@ Property / cites work: Q3666827 / rank @@
+Normal rank
@@ Property / cites work @@
+The equational theory of pomsets
@@ Property / cites work: The equational theory of pomsets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922196
@@ Property / cites work: Q3922196 / rank @@
+Normal rank
@@ Property / cites work @@
+Modest theory of short chains. I
@@ Property / cites work: Modest theory of short chains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic second-order definable text languages
@@ Property / cites work: Monadic second-order definable text languages / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizability equals definability for partial k-paths
+Normal rank
@@ Property / cites work @@
+Q2754184
@@ Property / cites work: Q2754184 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762523
@@ Property / cites work: Q2762523 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737908
@@ Property / cites work: Q4737908 / rank @@
+Normal rank
@@ Property / cites work @@
+Application of model theoretic games to discrete linear orders and finite automata
+Normal rank
@@ Property / cites work @@
+Q4381404
@@ Property / cites work: Q4381404 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4381401
@@ Property / cites work: Q4381401 / rank @@
+Normal rank
@@ Property / cites work @@
+Series-parallel languages and the bounded-width property
+Normal rank
@@ Property / cites work @@
+Rationality in algebras with a series operation
@@ Property / cites work: Rationality in algebras with a series operation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3698327
@@ Property / cites work: Q3698327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3123633
@@ Property / cites work: Q3123633 / rank @@
+Normal rank
@@ Property / cites work @@
+Modulo-counting quantifiers over finite trees
@@ Property / cites work: Modulo-counting quantifiers over finite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4284261
@@ Property / cites work: Q4284261 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+On finite monoids having only trivial subgroups
@@ Property / cites work: On finite monoids having only trivial subgroups / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic theory of order
@@ Property / cites work: The monadic theory of order / rank @@
+Normal rank
@@ Property / cites work @@
+Q4741710
@@ Property / cites work: Q4741710 / rank @@
+Normal rank
@@ Property / cites work @@
+Star-free regular sets of ω-sequences
@@ Property / cites work: Star-free regular sets of ω-sequences / rank @@
+Normal rank
@@ Property / cites work @@
+A combinatorial approach to the theory of ω-automata
+Normal rank
@@ Property / cites work @@
+Q4362730
@@ Property / cites work: Q4362730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank