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

scientific article; zbMATH DE number 1479633

From MaRDI portal

Publication:4490748

Jump to:navigation, search

zbMath0942.03511MaRDI QIDQ4490748

Jan Willem Klop, Richard Kennaway, Zena M. Ariola, Ronan Sleep, Fer-Jan de Vries

Publication date: 20 July 2000

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

zbMATH Keywords

solvability Böhm trees lambda-calculus orthogonal term rewriting systems undefined terms

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items (5)

Infinitary lambda calculi and böhm models ⋮ Normalization results for typeable rewrite systems ⋮ Lambda calculus with explicit recursion ⋮ Highlights in infinitary rewriting and lambda calculus ⋮ Approximation and normalization results for typeable term rewriting systems

This page was built for publication:

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