@article{forster2022constructive,
  title={A Constructive and Synthetic Theory of Reducibility: Myhill's Isomorphism Theorem and Post's Problem for Many-one and Truth-table Reducibility in Coq (Full Version)},
  author={Forster, Yannick and Jahn, Felix and Smolka, Gert},
  year={2022}
}

{"_id":"nmujERMX7i49yt8R3","bibbaseid":"forster-jahn-smolka-aconstructiveandsynthetictheoryofreducibilitymyhillsisomorphismtheoremandpostsproblemformanyoneandtruthtablereducibilityincoqfullversion-2022","author_short":["Forster, Y.","Jahn, F.","Smolka, G."],"bibdata":{"bibtype":"article","type":"article","title":"A Constructive and Synthetic Theory of Reducibility: Myhill's Isomorphism Theorem and Post's Problem for Many-one and Truth-table Reducibility in Coq (Full Version)","author":[{"propositions":[],"lastnames":["Forster"],"firstnames":["Yannick"],"suffixes":[]},{"propositions":[],"lastnames":["Jahn"],"firstnames":["Felix"],"suffixes":[]},{"propositions":[],"lastnames":["Smolka"],"firstnames":["Gert"],"suffixes":[]}],"year":"2022","bibtex":"@article{forster2022constructive,\r\n title={A Constructive and Synthetic Theory of Reducibility: Myhill's Isomorphism Theorem and Post's Problem for Many-one and Truth-table Reducibility in Coq (Full Version)},\r\n author={Forster, Yannick and Jahn, Felix and Smolka, Gert},\r\n year={2022}\r\n}\r\n\r\n","author_short":["Forster, Y.","Jahn, F.","Smolka, G."],"key":"forster2022constructive","id":"forster2022constructive","bibbaseid":"forster-jahn-smolka-aconstructiveandsynthetictheoryofreducibilitymyhillsisomorphismtheoremandpostsproblemformanyoneandtruthtablereducibilityincoqfullversion-2022","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/network/files/4Morrzu2c3Qkppb4R","dataSources":["WqD5i5xTnTQ3CSNMj","5zua34g6xsv8pKK4W","GT3eoscR5XP4rMxku","dYLRdufN2BkSLZb8e","rBBgqHYM8dvqRk8EX","7MyZxdfQ5qhtazSvg","ycRc7L8GJuiDt2pGt","2Sv5LhjXq88PSWb2D","hNmbaX53f7zuACAn3"],"keywords":[],"search_terms":["constructive","synthetic","theory","reducibility","myhill","isomorphism","theorem","post","problem","many","one","truth","table","reducibility","coq","full","version","forster","jahn","smolka"],"title":"A Constructive and Synthetic Theory of Reducibility: Myhill's Isomorphism Theorem and Post's Problem for Many-one and Truth-table Reducibility in Coq (Full Version)","year":2022}