Computing the Wadge degree, the Lifschitz degree, and the Rabin index of a regular language of infinite words in polynomial time (Q5096738): Difference between revisions

Latest revision as of 21:42, 29 July 2024

scientific article; zbMATH DE number 7572971

Language	Label	Description	Also known as
English	Computing the Wadge degree, the Lifschitz degree, and the Rabin index of a regular language of infinite words in polynomial time	scientific article; zbMATH DE number 7572971

Statements

instance of

scholarly article

0 references

title

Computing the Wadge degree, the Lifschitz degree, and the Rabin index of a regular language of infinite words in polynomial time (English)

0 references

0 references

0 references

TAPSOFT '95: Theory and Practice of Software Development

0 references

publication date

18 August 2022

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/3-540-59293-8_202

0 references

cites work

Q5585020

0 references

Structural complexity of ω-automata

0 references

Fine hierarchy of regular \(\omega\)-languages

0 references

Depth-First Search and Linear Graph Algorithms

0 references

0 references

0 references

0 references

0 references

Identifiers

zbMATH Open document ID

1496.68183

0 references

DOI

10.1007/3-540-59293-8_202

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5096738

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-59293-8_202
+Normal rank
@@ Property / OpenAlex ID @@
+W1557288551
@@ Property / OpenAlex ID: W1557288551 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585020
@@ Property / cites work: Q5585020 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural complexity of ω-automata
@@ Property / cites work: Structural complexity of ω-automata / rank @@
+Normal rank
@@ Property / cites work @@
+Fine hierarchy of regular \(\omega\)-languages
@@ Property / cites work: Fine hierarchy of regular \(\omega\)-languages / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999156
@@ Property / cites work: Q3999156 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4175553
@@ Property / cites work: Q4175553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4158997
@@ Property / cites work: Q4158997 / rank @@
+Normal rank
@@ Property / cites work @@
+On ω-regular sets
@@ Property / cites work: On ω-regular sets / rank @@
+Normal rank