Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Details
| Original language | English |
|---|---|
| Title of host publication | Automated Reasoning |
| Editors | Nicolas Peltier, Viorica Sofronie-Stokkermans |
| Publisher | Springer, Berlin [u. a.] |
| Pages | 163-180 |
| ISBN (electronic) | 978-3-030-51074-9 |
| ISBN (print) | 978-3-030-51073-2 |
| Publication status | Published - 2020 |
| Peer-reviewed | Yes |
Publication series
| Series | Lecture Notes in Computer Science, Volume 12166 |
|---|---|
| ISSN | 0302-9743 |
External IDs
| Scopus | 85088247339 |
|---|---|
| ORCID | /0000-0002-4049-221X/work/142247905 |