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

Jump to:navigation, search

zbMath0588.68009MaRDI QIDQ3716284

Laurence Puel

Publication date: 1984

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

zbMATH Keywords

completion algorithm abstract data type data type specification final algebra semantics

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mechanization of proofs and logical operations (03B35) Equational logic, Mal'tsev conditions (08B05) Data structures (68P05) Equational classes, universal algebra in model theory (03C05)

Related Items

Extending Bachmair's method for proof by consistency to the final algebra, Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness, Automatic proofs by induction in theories without constructors, Observational proofs by rewriting.

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