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

scientific article; zbMATH DE number 408806

From MaRDI portal

Publication:4202951

Jump to:navigation, search

zbMath0783.03007MaRDI QIDQ4202951

Sophie Pinchinat

Publication date: 6 September 1993

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

zbMATH Keywords

temporal logics process equivalence distinguishing power comparative concurrency semantics ordinal processes

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items (1)

Behavioural characterizations of partial order logics

This page was built for publication:

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