Checking History-Determinism is NP-hard for Parity Automata

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International Conference on Foundations of Software Science and Computation Structures (27. : 2024 : Luxemburg Stadt) Foundations of software science and computation structures ; Part 1
1. Verfasser:	Prakash, Aditya (VerfasserIn)
Pages:	1
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2024
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!