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 2102742 - MaRDI portal

scientific article; zbMATH DE number 2102742

From MaRDI portal

Publication:4818829

Jump to:navigation, search

zbMath1046.68565MaRDI QIDQ4818829

Salvador Lucas

Publication date: 24 September 2004

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

zbMATH Keywords

termination functional programming term rewriting

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Related Items (6)

Proving termination of context-sensitive rewriting by transformation ⋮ Proving operational termination of membership equational programs ⋮ Context-sensitive dependency pairs ⋮ Induction for termination with local strategies ⋮ Lazy Rewriting and Context-Sensitive Rewriting ⋮ Context-sensitive rewriting strategies

This page was built for publication:

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