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
The Thue problem and logical specifications of derivation in formal systems - MaRDI portal

The Thue problem and logical specifications of derivation in formal systems

From MaRDI portal

Publication:1582908

Jump to:navigation, search

DOI10.1007/BF02742276zbMath0968.68098MaRDI QIDQ1582908

Alhi Adnan, A. I. Provotar'

Publication date: 13 May 2001

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

This page was built for publication: The Thue problem and logical specifications of derivation in formal systems

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