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
Scheduling on semantic solution tables - MaRDI portal

Scheduling on semantic solution tables

From MaRDI portal

Publication:1183764

Jump to:navigation, search

zbMATH Open0739.68065MaRDI QIDQ1183764

Publication date: 28 June 1992

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

zbMATH Keywords

semantic models program synthesis automatic programming programming support system

Mathematics Subject Classification ID

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

Related Items (1)

Scheduling aspects in keyword extraction problem

This page was built for publication: Scheduling on semantic solution tables

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