Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
TitelAutomated Reasoning - 10th International Joint Conference - Proceedings
Herausgeber (Verlag)Springer, Berlin [u. a.]
Seiten163-180
PublikationsstatusVeröffentlicht - 2020
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 12166
ISSN0302-9743

Externe IDs

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

Schlagworte

Bibliotheksschlagworte