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

scientific article; zbMATH DE number 795175

From MaRDI portal

Publication:4845324

Jump to:navigation, search

zbMath0878.93035MaRDI QIDQ4845324

Yuanjun Wei, Peter E. Caines

Publication date: 22 June 1997

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

zbMATH Keywords

theorem proving finite state machine conditional observer and controller logic subtheory COCOLOG systems first order logical theories Markovian fragments

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) First-order arithmetic and fragments (03F30) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Basic properties of first-order languages and structures (03C07)

This page was built for publication:

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