No label defined (Q5020529)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7453081

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7453081

Statements

scholarly article

0 references

0 references

0 references

publication date

6 January 2022

0 references

full work available at URL

https://arxiv.org/abs/1909.07659

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2019.9

0 references

0 references

Solving Parity Games via Priority Promotion

0 references

The mu-calculus and Model Checking

0 references

0 references

Attracting tangles to solve parity games

0 references

On model checking for the \(\mu\)-calculus and its fragments

0 references

Solving Parity Games in Practice

0 references

Certification for $$\mu $$ μ -Calculus with Winning Strategies

0 references

Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)

0 references

0 references

0 references

Results on the propositional \(\mu\)-calculus

0 references

0 references

0 references

Solving Parity Games Using an Automata-Based Algorithm

0 references

Monadic second order logic on tree-like structures

0 references

Infinite games on finitely coloured graphs with applications to automata on infinite trees

0 references

describes a project that uses

0 references

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

Identifiers

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5020529

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5020529&oldid=36754673"