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
Transformation synthesis of efficient algorithms with auxiliary specifications - MaRDI portal

Transformation synthesis of efficient algorithms with auxiliary specifications

From MaRDI portal

Publication:3787464

Jump to:navigation, search

DOI10.1007/BF01068689zbMath0644.68043MaRDI QIDQ3787464

S. L. Krivoj, A. B. Godlevskij

Publication date: 1986

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

efficient algorithms auxiliary specification transformation synthesis

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Algorithms in computer science (68W99)

Cites Work

Variations on the Common Subexpression Problem

This page was built for publication: Transformation synthesis of efficient algorithms with auxiliary specifications

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