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; zbMATH DE number 845924 - MaRDI portal

scientific article; zbMATH DE number 845924

From MaRDI portal

Publication:4864468

Jump to:navigation, search

zbMath0840.68014MaRDI QIDQ4864468

Regino Criado, A. Bujosa

Publication date: 20 February 1996

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

zbMATH Keywords

unification algorithm linear equation of symbols

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (2)

A geometric interpretation of LD-resolution ⋮ Syntactic Unification as a Geometric Operation in Free Modules over certain Rings

This page was built for publication:

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