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
Equivalent transformations of multiple schemas - MaRDI portal

Equivalent transformations of multiple schemas

From MaRDI portal

Publication:1053447

Jump to:navigation, search

zbMath0517.68034MaRDI QIDQ1053447

V. N. Kas'yanov

Publication date: 1982

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

zbMATH Keywords

loops recursive procedure program optimization

Mathematics Subject Classification ID

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

This page was built for publication: Equivalent transformations of multiple schemas

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