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

scientific article; zbMATH DE number 3992934

From MaRDI portal

Publication:4720787

Jump to:navigation, search

zbMath0613.68025MaRDI QIDQ4720787

Virgil Emil Căzănescu

Publication date: 1986

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

zbMATH Keywords

fixed-point context-free grammar rational system least solution program behaviour flowchart program recursive program \(\omega \)-continuous algebraic theory context-free system languages generated by nonterminals morphism iterate unfoldment

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theories (e.g., algebraic theories), structure, and semantics (18C10) Theory of software (68N99) Theory of computing (68Q99)

This page was built for publication:

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