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
Multi-weighted automata and MSO logic - MaRDI portal

Multi-weighted automata and MSO logic (Q504993)

From MaRDI portal
scientific article; zbMATH DE number 6176272
  • Multi-weighted Automata and MSO Logic
Language Label Description Also known as
English
Multi-weighted automata and MSO logic
scientific article; zbMATH DE number 6176272
  • Multi-weighted Automata and MSO Logic

Statements

title
Multi-weighted automata and MSO logic (English)
0 references
Multi-weighted Automata and MSO Logic (English)
0 references
author
Manfred Droste
0 references
Vitaly Perevoshchikov
0 references
publication date
18 January 2017
0 references
14 June 2013
0 references
zbMATH Keywords
multi-priced automata
0 references
quantitative logic
0 references
average behavior
0 references
reward-cost ratio
0 references
quantitative languages
0 references
power series
0 references
cites work
Q3994777
0 references
Q4508396
0 references
Quantitative Languages
0 references
Q4449193
0 references
Q4079524
0 references
Q3704880
0 references
Q4155837
0 references

Identifiers

zbMATH Open document ID
1356.68130
0 references
1344.68117
0 references
zbMATH DE Number
6676006
0 references
6176272
0 references
OpenAlex ID
W1947371057
0 references
W3100653010
0 references
arXiv ID
1506.06024
0 references
 
Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q504993&oldid=39799878"
Powered by MediaWiki