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

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

Details

OriginalspracheEnglisch
TitelAutomated Reasoning
Redakteure/-innenNicolas Peltier, Viorica Sofronie-Stokkermans
Herausgeber (Verlag)Springer, Berlin [u. a.]
Seiten163-180
ISBN (elektronisch)978-3-030-51074-9
ISBN (Print)978-3-030-51073-2
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