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

Jump to:navigation, search

zbMath0698.03017MaRDI QIDQ3475251

Assen Petkov

Publication date: 1987

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

zbMATH Keywords

computation with two-cell memory devices divided memory states ordered N-tuples propositional dynamic logic in higher dimensions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (3)

Propositional Dynamic Logic for Petri Nets with Iteration ⋮ Towards reasoning about Petri nets: a propositional dynamic logic based approach ⋮ An essay in combinatory dynamic logic

This page was built for publication:

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