guest ::
Constructing Deterministic Parity Automata from Positive and Negative Examples
;
2023
Online
DOI: 10.48550/arXiv.2302.11043
DOI: 10.18154/RWTH-2024-02927
URL: https://publications.rwth-aachen.de/record/981317/files/981317.pdf
Einrichtungen
- Lehrstuhl für Logik und Theorie diskreter Systeme (Informatik 7) (122910)
- Fachgruppe Informatik (120000)
Projekte
Inhaltliche Beschreibung (Schlagwörter)
FOS: Computer and information sciences (Genormte SW) ; Formal Languages and Automata Theory (cs.FL) (Genormte SW)
OpenAccess: 
PDF
External link: 
Fulltext by arXiv.org
Dokumenttyp
Preprint
Format
online
Sprache
English
Externe Identnummern
arXiv: arXiv:2302.11043
Interne Identnummern
RWTH-2024-02927
Datensatz-ID: 981317
Beteiligte Länder
Germany
; 
|
The record appears in these collections: |