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

scientific article; zbMATH DE number 1222407

From MaRDI portal

Publication:4217930

Jump to:navigation, search

zbMath0912.03016MaRDI QIDQ4217930

Roberto Giacobazzi, Francesca Scozzari, Francesco Ranzato

Publication date: 11 November 1998

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

zbMATH Keywords

completeness quantales logic programs bottom-up semantics abstract domain models of linear logic abstract computations abstract interpretations least complete extension observation completeness

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Other algebras related to logic (03G25) Logic programming (68N17) Ordered semigroups and monoids (06F05) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (2)

Transforming semantics by abstract interpretation ⋮ Unnamed Item

This page was built for publication:

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