Decidability of trajectory-based equations (Q2575751): 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.1016/j.tcs.2005.07.013
+Normal rank
@@ Property / OpenAlex ID @@
+W2076263584
@@ Property / OpenAlex ID: W2076263584 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in a Description Logic with Transitive Closure of Roles
+Normal rank
@@ Property / cites work @@
+Unification of concept terms in description logics
+Normal rank
@@ Property / cites work @@
+SHUFFLE DECOMPOSITIONS OF REGULAR LANGUAGES
@@ Property / cites work: SHUFFLE DECOMPOSITIONS OF REGULAR LANGUAGES / rank @@
+Normal rank
@@ Property / cites work @@
+Q4782110
@@ Property / cites work: Q4782110 / rank @@
+Normal rank
@@ Property / cites work @@
+Closure and decidability properties of some language classes with respect to ciliate bio-operations.
+Normal rank
@@ Property / cites work @@
+Deletion along trajectories
@@ Property / cites work: Deletion along trajectories / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+RESTRICTED SETS OF TRAJECTORIES AND DECIDABILITY OF SHUFFLE DECOMPOSITIONS
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Regular Sets
@@ Property / cites work: Bounded Regular Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Parallels between the Regular and Context-Free Languages
+Normal rank
@@ Property / cites work @@
+Q5422237
@@ Property / cites work: Q5422237 / rank @@
+Normal rank
@@ Property / cites work @@
+On language equations with invertible operations
@@ Property / cites work: On language equations with invertible operations / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of shuffle and deletion on trajectories
@@ Property / cites work: Aspects of shuffle and deletion on trajectories / rank @@
+Normal rank
@@ Property / cites work @@
+<i>K</i>-catenation and applications:<i>k</i>-prefix codes
+Normal rank
@@ Property / cites work @@
+Maximal and minimal solutions to language equations
+Normal rank
@@ Property / cites work @@
+Q4256623
@@ Property / cites work: Q4256623 / rank @@
+Normal rank
@@ Property / cites work @@
+Shuffle on trajectories: Syntactic constraints
@@ Property / cites work: Shuffle on trajectories: Syntactic constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Middle quotients of linear languages
@@ Property / cites work: Middle quotients of linear languages / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean grammars
@@ Property / cites work: Boolean grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418614
@@ Property / cites work: Q4418614 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2708948
@@ Property / cites work: Q2708948 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing regular languages with polynomial densities
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2575751