Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Small Semi-Thue System Universal with Respect to the Termination Problem - MaRDI portal

Small Semi-Thue System Universal with Respect to the Termination Problem

From MaRDI portal

Publication:4601128

Jump to:navigation, search

DOI10.3233/FI-2017-1559zbMath1420.03087OpenAlexW2742797454MaRDI QIDQ4601128

Reino Niskanen, Vesa Halava, Yu. V. Matiyasevich

Publication date: 19 January 2018

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2017-1559

zbMATH Keywords

undecidability semi-Thue system termination problem universal semi-Thue system

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Thue and Post systems, etc. (03D03)

Related Items

Integer weighted automata on infinite words, Integer Weighted Automata on Infinite Words

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4601128&oldid=18762455"