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
Strategies for symbolic processing and synthesis of algorithms and programs - MaRDI portal

Strategies for symbolic processing and synthesis of algorithms and programs

From MaRDI portal

Publication:1817148

Jump to:navigation, search

zbMath0875.68569MaRDI QIDQ1817148

G. E. Tsejtlin

Publication date: 13 May 1997

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

zbMATH Keywords

sorting searching symbolic processing algorithm algebras syntactical analysis of programs

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Searching and sorting (68P10) General topics in the theory of software (68N01)

This page was built for publication: Strategies for symbolic processing and synthesis of algorithms and programs

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