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

scientific article; zbMATH DE number 1231661

From MaRDI portal

Publication:4222987

Jump to:navigation, search

zbMath0917.68114MaRDI QIDQ4222987

Michihiro Matsumoto, Kokichi Futatsugi

Publication date: 7 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15010

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

zbMATH Keywords

coinduction GAC algorithm

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Observational proofs by rewriting.

This page was built for publication:

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