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
Approximation logic of programs - MaRDI portal

Approximation logic of programs

From MaRDI portal

Publication:1198441

Jump to:navigation, search

zbMath0755.03013MaRDI QIDQ1198441

Jaroslaw Stepaniuk

Publication date: 16 January 1993

Published in: Bulletin of the Polish Academy of Sciences. Technical Sciences (Search for Journal in Brave)

zbMATH Keywords

rough sets completeness decidability program approximation propositional dynamic logic with approximate programs

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of software (68N99)

This page was built for publication: Approximation logic of programs

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