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 languageEnglish
Title of host publicationAutomated Reasoning - 10th International Joint Conference - Proceedings
PublisherSpringer, Berlin [u. a.]
Pages163-180
Publication statusPublished - 2020
Peer-reviewedYes

Publication series

SeriesLecture Notes in Computer Science, Volume 12166
ISSN0302-9743

External IDs

Scopus 85088247339
ORCID /0000-0002-4049-221X/work/142247905

Keywords

Library keywords