Complexity of Decision Problems for Mixed and Modal Specifications (Q5458354): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Kim Guldstrand Larsen / rank | |||
Property / author | |||
Property / author: Kim Guldstrand Larsen / rank | |||
Normal rank | |||
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-540-78499-9_9 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1608677350 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992568 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3907077 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4884237 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Modal Refinement and Consistency / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2852361 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Comparing disjunctive modal transition systems with an one-selecting variant / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Labelled transition systems as a Stone space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4198056 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2736352 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4414390 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model checking hybrid logics (with an application to semistructured data) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4536601 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Alternating tree automata, parity games, and modal \(\mu\)-calculus / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 21:16, 27 June 2024
scientific article; zbMATH DE number 5262403
Language | Label | Description | Also known as |
---|---|---|---|
English | Complexity of Decision Problems for Mixed and Modal Specifications |
scientific article; zbMATH DE number 5262403 |
Statements
Complexity of Decision Problems for Mixed and Modal Specifications (English)
0 references
11 April 2008
0 references