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
Logical and algorithmic formalisms for the problem of correct program design - MaRDI portal

Logical and algorithmic formalisms for the problem of correct program design

From MaRDI portal

Publication:5930818

Jump to:navigation, search

zbMath0977.68010MaRDI QIDQ5930818

N. N. Nepejvoda

Publication date: 26 April 2001

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

zbMATH Keywords

tower of functionals on fuzzy sets

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

A bridge between constructive logic and computer programming

This page was built for publication: Logical and algorithmic formalisms for the problem of correct program design

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