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

Jump to:navigation, search

zbMath1146.06001MaRDI QIDQ3518423

Rudolf Berghammer

Publication date: 7 August 2008

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

zbMATH Keywords

lattice fixed point Galois connection order completion relational algebra axiom of choice RelView

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01)

Related Items (3)

Using relation-algebraic means and tool support for investigating and computing bipartitions ⋮ Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings ⋮ Relation-algebraic specification and solution of special university timetabling problems

Uses Software

RelView

This page was built for publication:

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