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

scientific article; zbMATH DE number 408805

From MaRDI portal

Publication:4202950

Jump to:navigation, search

zbMath0819.68127MaRDI QIDQ4202950

Halit Oğuztüzün

Publication date: 6 September 1993

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

zbMATH Keywords

concurrent systems compatibility labeled transition systems silent moves Ehrenfeucht games adequate logic

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Semantics in the theory of computing (68Q55)

This page was built for publication:

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