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

Publikation: Vorabdruck/Dokumentation/BerichtArbeitspapier

Beitragende

Details

OriginalspracheEnglisch
ErscheinungsortDresden, Germany
PublikationsstatusVeröffentlicht - 2020

Publikationsreihe

ReiheLTCS-Report
Band20-02
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper

Schlagworte