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

scientific article; zbMATH DE number 4001450

From MaRDI portal

Publication:4727402

Jump to:navigation, search

zbMath0617.68013MaRDI QIDQ4727402

Irène Guessarian

Publication date: 1985

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

zbMATH Keywords

free algebra algebraic semantics interpretations universal algebra programming language semantics program scheme Herbrand interpretation relational class equational and first-order definable classes

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Free algebras (08B20) Axiomatic model classes (08C10)

Related Items (2)

Algebraic semantics and complexity of term rewriting systems ⋮ Free fuzzy groups and fuzzy group presentations

This page was built for publication:

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