A Weighted μ-Calculus on Words (Q3637241): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/978-3-642-02737-6_31 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1833559297 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4273664 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rudiments of \(\mu\)-calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automata, Languages and Programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4449238 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weighted automata and weighted logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Handbook of weighted automata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3536079 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Skew and infinitary formal power series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weighted Automata and Weighted Logics on Infinite Words / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3431478 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4910728 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5502720 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: CONCUR 2003 - Concurrency Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Results on the propositional \(\mu\)-calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3704880 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lattice Automata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the definition of a family of automata / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 18:00, 1 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Weighted μ-Calculus on Words |
scientific article |
Statements
A Weighted μ-Calculus on Words (English)
0 references
7 July 2009
0 references