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

Research output: Preprint/Documentation/Report › Working paper

Contributors

Details

Original languageEnglish
Place of PublicationDresden, Germany
Publication statusPublished - 2020

Publication series

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

Keywords