Amalgamation is Undecidable.

Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)

Beitragende

Details

OriginalspracheUndefiniert
Bandabs/2108.00452
PublikationsstatusVeröffentlicht - 2021
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper

Externe IDs

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

Schlagworte