Decision problems for language equations (Q972384): Difference between revisions

@@ Property / describes a project that uses @@
+ALGOL 60
@@ Property / describes a project that uses: ALGOL 60 / rank @@
+Normal rank
@@ 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.jcss.2009.08.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2135734455
@@ Property / OpenAlex ID: W2135734455 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525271
@@ Property / cites work: Q4525271 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification of concept terms in description logics
+Normal rank
@@ Property / cites work @@
+Reversal-bounded multipushdown machines
@@ Property / cites work: Reversal-bounded multipushdown machines / rank @@
+Normal rank
@@ Property / cites work @@
+On equations for regular languages, finite automata, and sequential networks
+Normal rank
@@ Property / cites work @@
+Set constraints in some equational theories
@@ Property / cites work: Set constraints in some equational theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / 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 @@
+Two Families of Languages Related to ALGOL
@@ Property / cites work: Two Families of Languages Related to ALGOL / rank @@
+Normal rank
@@ Property / cites work @@
+Q5583856
@@ Property / cites work: Q5583856 / rank @@
+Normal rank
@@ Property / cites work @@
+The Equivalence Problem of Finite Substitutions on <font>ab*c</font>, with Applications
+Normal rank
@@ Property / cites work @@
+Conway's problem for three-word sets.
@@ Property / cites work: Conway's problem for three-word sets. / rank @@
+Normal rank
@@ Property / cites work @@
+Language equations, maximality and error-detection
+Normal rank
@@ Property / cites work @@
+Maximal and minimal solutions to language equations
+Normal rank
@@ Property / cites work @@
+Unrestricted complementation in language equations over a one-letter alphabet
+Normal rank
@@ Property / cites work @@
+Q4531380
@@ Property / cites work: Q4531380 / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive grammars and systems of language equations
+Normal rank
@@ Property / cites work @@
+Boolean grammars
@@ Property / cites work: Boolean grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5588675
@@ Property / cites work: Q5588675 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain mu-calculus
@@ Property / cites work: Domain mu-calculus / rank @@
+Normal rank