Volume: Vol-3754 SCSS 2024 WiP | Year: 2024

Paper: « paper13 | paper14 | paper15 »

Methods for solving the Post correspondence problem and certificate generation

• Yasuhiko Minamide ORCID dblp
• Akihiro Omori ORCID dblp

92-98 PDF