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

Jump to:navigation, search

zbMath1221.68155MaRDI QIDQ3012523

Joseph A. Goguen, Kai Lin

Publication date: 6 July 2011

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

zbMATH Keywords

first-order equational logic logical programming languages OBJ languages

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Equational logic and categorical semantics for multi-languages ⋮ Formalization of universal algebra in Agda

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