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
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3685174

Jump to:navigation, search

zbMath0568.68016MaRDI QIDQ3685174

Deepak Kapur, Mandayam Srivas

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

expansion hypothesis testing specification term rewriting systems inference rules instantiation proving theorems simplication synthesizing data type implementations

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (2)

Rewriting techniques for program synthesis ⋮ Deductive and inductive synthesis of equational programs

This page was built for publication:

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