Amalgamation is Undecidable.

Research output: Preprint/Documentation/Report › Preprint

Contributors

Details

Original languageUndefined
Volumeabs/2108.00452
Publication statusPublished - 2021
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper

External IDs

ORCID /0000-0001-8228-3611/work/142241145

Keywords