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:3317106

Jump to:navigation, search

zbMath0534.03033MaRDI QIDQ3317106

Istvan Németi

Publication date: 1982

Full work available at URL: https://eudml.org/doc/192995

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

zbMATH Keywords

cylindric algebras pushout first order theories program specifications theory morphisms similarity types to formulas

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) General topics in the theory of software (68N01) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (1)

Combining algebraizable logics

This page was built for publication:

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