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

scientific article; zbMATH DE number 5263431

From MaRDI portal

Publication:5457687

Jump to:navigation, search

zbMath1134.68423MaRDI QIDQ5457687

Dorel Lucanu

Publication date: 14 April 2008

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

zbMATH Keywords

induction algebraic specification abstract data type initial constraints deduction initial many sorted algebra institution initial membership algebra institution initial order sorted algebra institution

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Uses Software

Maude

This page was built for publication:

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