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

scientific article; zbMATH DE number 1260274

From MaRDI portal

Publication:4231110

Jump to:navigation, search

zbMath0916.68125MaRDI QIDQ4231110

Hartmut Ehrig, Felix Cornelius, Philip Zeitz, Martin Grosse-Rhode, Bernd Mahr

Publication date: 10 March 1999

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

zbMATH Keywords

data structures algebraic specifications algebraic structures structural induction Hilbert calculus term algebras

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Classical propositional logic (03B05) Discrete mathematics in relation to computer science (68R99)

This page was built for publication:

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