{"content":[{"text":"Reachability and confluence are undecidable for flat \n term rewriting systems \n Florent Jacquemard","bbox":{"left":0.156085,"top":0.290039,"width":0.7392489999999999,"height":0.08010100000000003}},{"text":"To cite this version: \n Florent Jacquemard. Reachability and confluence are undecidable for flat term rewriting systems. \n Information Processing Letters, Elsevier, 2003, 87 (5), pp.265-270. inria-00578875","bbox":{"left":0.131662,"top":0.423708,"width":0.8095140000000001,"height":0.06776900000000002}},{"text":"HAL Id: inria-00578875 \n https://hal.inria.fr/inria-00578875 \n Submitted on 22 Mar 2011","bbox":{"left":0.29615,"top":0.667864,"width":0.407674,"height":0.07521199999999995}},{"text":"HAL is a multi-disciplinary open access \n archive for the deposit and dissemination of sci- \n entific research documents, whether they are pub- \n lished or not. The documents may come from \n teaching and research institutions in France or \n abroad, or from public or private research centers.","bbox":{"left":0.095238,"top":0.799809,"width":0.396409,"height":0.09890699999999997}},{"text":"L’archive ouverte pluridisciplinaire HAL, est \n destinée au dépôt et à la diffusion de documents \n scientifiques de niveau recherche, publiés ou non, \n émanant des établissements d’enseignement et de \n recherche français ou étrangers, des laboratoires \n publics ou privés.","bbox":{"left":0.508364,"top":0.799809,"width":0.39640999999999993,"height":0.09890699999999997}}],"images_bbox":[{"left":0.424521,"top":0.054944,"width":0.20238,"height":0.080282},{"left":0.120951,"top":0.432128,"width":0.013389,"height":0.010955}],"images_bbox_not_text_overlap":[{"left":0.424521,"top":0.054944,"width":0.20238,"height":0.080282},{"left":0.120951,"top":0.432128,"width":0.013389,"height":0.010955}]}