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

scientific article; zbMATH DE number 3995064

From MaRDI portal

Publication:4721657

Jump to:navigation, search

zbMath0614.68046MaRDI QIDQ4721657

Vadim E. Kotov, Ludmila A. Cherkasova

Publication date: 1985

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

zbMATH Keywords

Petri nets dynamic logic undecidable theories propositional temporal logic

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25)

This page was built for publication:

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