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

Jump to:navigation, search

zbMath0724.68021MaRDI QIDQ3212269

U. E. Wolter

Publication date: 1991

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

zbMATH Keywords

operational semantics Horn theories resolution domain theory declarative model-theoretic semantics derivation calculus equational partial many-sorted partial algebras

Mathematics Subject Classification ID

Logic programming (68N17) Continuous lattices and posets, applications (06B35) Equational classes, universal algebra in model theory (03C05) Partial algebras (08A55)

Related Items (2)

Van Kampen Colimits and Path Uniqueness ⋮ Fibred amalgamation, descent data, and Van Kampen squares in topoi

This page was built for publication:

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