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

Paper: « paper10 | paper11 | paper12 »

First-order theorem proving with power maps in semigroups

• Ranganathan Padmanabhan dblp
• Yi Lin (disambiguation) dblp
• Yang Zhang (disambiguation) dblp

63-73 PDF