Amalgamation is Undecidable.

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

Beitragende

Details

OriginalspracheUndefiniert
FachzeitschriftCoRR
Jahrgangabs/2108.00452
PublikationsstatusVeröffentlicht - 2021
Peer-Review-StatusJa

Externe IDs

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

Schlagworte