@inproceedings{e67349a179f440bc85cc7625295bc1cc,
title = "Variations on the Post Correspondence Problem for Free Groups",
abstract = "The Post Correspondence Problem is a classical decision problem about equalisers of free monoid homomorphisms. We prove connections between several variations of this classical problem, but in the setting of free groups and free group homomorphisms. Among other results, and working under certain injectivity assumptions, we prove that computing the rank of the equaliser of a pair of free group homomorphisms can be applied to computing a basis of this equaliser, and also to solve the “generalised” Post Correspondence Problem for free groups.",
keywords = "Free group, Post Correspondence Problem, Rational constraint",
author = "Laura Ciobanu and Logan, {Alan D.}",
note = "Funding Information: Work supported by EPSRC grant EP/R035814/1. Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 25th International Conference on Developments in Language Theory 2021, DLT 2021 ; Conference date: 16-08-2021 Through 20-08-2021",
year = "2021",
doi = "10.1007/978-3-030-81508-0_8",
language = "English",
isbn = "9783030815073",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "90--102",
editor = "Nelma Moreira and Rog{\'e}rio Reis",
booktitle = "Developments in Language Theory. DLT 2021",
}