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

scientific article; zbMATH DE number 512849

From MaRDI portal

Publication:4281545

Jump to:navigation, search

zbMath0799.68135MaRDI QIDQ4281545

Hardi Hungar

Publication date: 10 March 1994

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

zbMATH Keywords

denotational semantics recursive functions complexity classes functional programming languages program logics Clarke's language L4 spectra of partial correctness formulae

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES

This page was built for publication:

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