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

scientific article

From MaRDI portal

Publication:3827538

Jump to:navigation, search

zbMath0673.68012MaRDI QIDQ3827538

N. Kh. Kasymov

Publication date: 1987

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

zbMATH Keywords

quasivarieties logic programming recursiveness specification of data structures

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Mechanization of proofs and logical operations (03B35) Quasivarieties (08C15) Free algebras (08B20) General topics in the theory of software (68N01) Equational classes, universal algebra in model theory (03C05)

Related Items (2)

Separable algorithmic representations of classical systems and their applications ⋮ Learning algebraic structures from text

This page was built for publication:

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