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
Toward a theory of loop cleaning - MaRDI portal

Toward a theory of loop cleaning

From MaRDI portal

Publication:1156471

Jump to:navigation, search

zbMath0468.68004MaRDI QIDQ1156471

I. V. Pottosin, O. V. Yugrinova

Publication date: 1980

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

zbMATH Keywords

linear schemata

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (1)

This page was built for publication: Toward a theory of loop cleaning

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