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
Metacomputation and logic programming - MaRDI portal

Metacomputation and logic programming

From MaRDI portal

Publication:1183842

Jump to:navigation, search

zbMath0739.68006MaRDI QIDQ1183842

S. M. Abramov

Publication date: 28 June 1992

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

zbMATH Keywords

partial evaluation supercompilation mixed computation inverse semantics

Mathematics Subject Classification ID

Logic programming (68N17) General topics in the theory of software (68N01)

This page was built for publication: Metacomputation and logic programming

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