Yi Lin, Ranganathan Padmanabhan, Yang Zhang. First-order theorem proving with power maps in semigroups. In Katsusuke Nabeshima, Stephen M. Watt, editors, Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Tokyo, Japan, Aug 28-30, 2024. Volume 3754 of CEUR Workshop Proceedings, pages 63-73, CEUR-WS.org, 2024. [doi]
@inproceedings{LinPZ24,
title = {First-order theorem proving with power maps in semigroups},
author = {Yi Lin and Ranganathan Padmanabhan and Yang Zhang},
year = {2024},
url = {https://ceur-ws.org/Vol-3754/paper11.pdf},
researchr = {https://researchr.org/publication/LinPZ24},
cites = {0},
citedby = {0},
pages = {63-73},
booktitle = {Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Tokyo, Japan, Aug 28-30, 2024},
editor = {Katsusuke Nabeshima and Stephen M. Watt},
volume = {3754},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}