Automata-Theoretic techniques for modal logics of programs
Journal of Computer and System Sciences
Decidability of systems of set constraints with negative constraints
Information and Computation
Two Families of Languages Related to ALGOL
Journal of the ACM (JACM)
Unification of concept terms in description logics
Journal of Symbolic Computation
Unification in a Description Logic with Transitive Closure of Roles
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
The Complexity of Set Constraints
CSL '93 Selected Papers from the 7th Workshop on Computer Science Logic
The Inverse Method Implements the Automata Approach for Modal Satisfiability
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
On the Computational Completeness of Equations over Sets of Natural Numbers
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
What do we know about language equations?
DLT'07 Proceedings of the 11th international conference on Developments in language theory
On language equations XXK = XXL and XM = N over a unary alphabet
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Strict language inequalities and their decision problems
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Hi-index | 0.00 |
We extend previous results on the complexity of solving language equations with one-sided concatenation and all Boolean operations to the case where also disequations (i.e., negated equations) may occur. To show that solvability of systems of equations and disequations is still in ExpTime, we introduce a new type of automata working on infinite trees, which we call looping automata with colors. As applications of these results, we show new complexity results for disunification in the description logic FL0 and for monadic set constraints with negation. We believe that looping automata with colors may also turn out to be useful in other applications.