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
Partial decidability of the nonequivalence of free schemata - MaRDI portal

Partial decidability of the nonequivalence of free schemata

From MaRDI portal

Publication:1136493

Jump to:navigation, search

zbMath0427.68018MaRDI QIDQ1136493

S. A. Nigiyan

Publication date: 1979

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

free program schemata partial decidability of the nonequivalence problem

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)

This page was built for publication: Partial decidability of the nonequivalence of free schemata

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