The Equivalence Problem of Finite Substitutions on ab*c, with Applications
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
A Simple Undecidable Problem: The Inclusion Problem for Finite Substitutions on ab*c
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Combinatorial and Computational Problems on Finite Sets of Words
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
A simple undecidable problem: the inclusion problem for finite substitutions on ab*c
Information and Computation
Finite sets of words and computing
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Hi-index | 0.00 |