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
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3063993

Jump to:navigation, search

zbMath1201.68053MaRDI QIDQ3063993

R. I. Podlovchenko

Publication date: 18 December 2010

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

decidability equivalent transformations of the schemes program models Yanov schemes

Mathematics Subject Classification ID

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

Related Items (3)

Technique of traces in solving the equivalence problem in algebraic program models ⋮ Program schemes with constants ⋮ Program schemata technique for propositional program logics: a 30-year history

This page was built for publication:

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