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

scientific article; zbMATH DE number 722586

From MaRDI portal

Publication:4323290

Jump to:navigation, search

zbMath0827.03004MaRDI QIDQ4323290

Erwin Engeler

Publication date: 13 February 1995

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

zbMATH Keywords

consistency computer algebra universal algebra discontinuous differential equations combinatory logic distributed processes approximate computation algebraization algorithmics combinatory algebras types in programming languages Combinatory programme recursive degrees

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Theory of programming languages (68N15) Collections of articles of miscellaneous specific interest (00B15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Applications of universal algebra in computer science (08A70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Other algebras related to logic (03G25) Equational classes, universal algebra in model theory (03C05) Combinatory logic and lambda calculus (03B40)

Related Items (3)

What is the Church-Turing Thesis? ⋮ Formal Universes ⋮ Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets

This page was built for publication:

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