Decidable Theories of Cayley-Graphs

Sorry, there's nothing here.

Cite this paper

@inproceedings{Kuske2003DecidableTO, title={Decidable Theories of Cayley-Graphs}, author={Dietrich Kuske and Markus Lohrey}, booktitle={STACS}, year={2003} }