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
The semantical kernel of a generalized hypersubstitution - MaRDI portal

The semantical kernel of a generalized hypersubstitution

From MaRDI portal

Publication:1879108

Jump to:navigation, search

zbMath1057.08002MaRDI QIDQ1879108

Sorasak Leeratanavalee, Klaus Denecke

Publication date: 22 September 2004

Published in: Southeast Asian Bulletin of Mathematics (Search for Journal in Brave)

zbMATH Keywords

tree transformation generalized hypersubstitution fully invariant congruence relation hyperunification

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Algebraic theory of languages and automata (68Q70) Equational logic, Mal'tsev conditions (08B05) Subalgebras, congruence relations (08A30)

This page was built for publication: The semantical kernel of a generalized hypersubstitution

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