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

Jump to:navigation, search

zbMath0441.68110MaRDI QIDQ3883563

Jörg H. Siekmann

Publication date: 1979

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

zbMATH Keywords

matching unification problem unification algorithm for terms involving a commutative function

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Decidability of theories and sets of sentences (03B25)

Related Items (5)

Decidability of confluence and termination of monadic term rewriting systems ⋮ What Is Essential Unification? ⋮ A formalisation of nominal C-matching through unification with protected variables ⋮ Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols ⋮ Formalising nominal C-unification generalised with protected variables

This page was built for publication:

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