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:3687693

Jump to:navigation, search

zbMath0571.68013MaRDI QIDQ3687693

Deepak Kapur, David R. Musser

Publication date: 1982

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

zbMATH Keywords

algebraic specifications abstract algebra abstract data types formal proof methods rewrite rule theory structure types type specifications types in programming methodology

Mathematics Subject Classification ID

Data structures (68P05) General topics in the theory of software (68N01)

Related Items (4)

Proof by consistency ⋮ History and basic features of the critical-pair/completion procedure ⋮ Only prime superpositions need be considered in the Knuth-Bendix completion procedure ⋮ Computing a Gröbner basis of a polynomial ideal over a Euclidean domain

This page was built for publication:

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