Multi-weighted automata and MSO logic (Q504993): Difference between revisions
From MaRDI portal
EloiFerrer (talk | contribs) Changed label, description and/or aliases in en, and other parts |
EloiFerrer (talk | contribs) Merged Item from Q4928505 |
||||||||||||||
aliases / en / 0 | aliases / en / 0 | ||||||||||||||
Multi-weighted Automata and MSO Logic | |||||||||||||||
description / en | description / en | ||||||||||||||
scientific article; zbMATH DE number 6176272 | |||||||||||||||
Property / title | |||||||||||||||
Multi-weighted Automata and MSO Logic (English) | |||||||||||||||
Property / title: Multi-weighted Automata and MSO Logic (English) / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Open document ID | |||||||||||||||
Property / zbMATH Open document ID: 1344.68117 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / DOI | |||||||||||||||
Property / DOI: 10.1007/978-3-642-38536-0_36 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / published in | |||||||||||||||
Property / published in: Computer Science – Theory and Applications / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / publication date | |||||||||||||||
14 June 2013
| |||||||||||||||
Property / publication date: 14 June 2013 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 6176272 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
power series | |||||||||||||||
Property / zbMATH Keywords: power series / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / OpenAlex ID | |||||||||||||||
Property / OpenAlex ID: W3100653010 / rank | |||||||||||||||
Normal rank |
Revision as of 14:04, 29 April 2024
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 |
|
Statements
Multi-weighted automata and MSO logic (English)
0 references
Multi-weighted Automata and MSO Logic (English)
0 references
18 January 2017
0 references
14 June 2013
0 references
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