guest ::
Residuality and Learning for Nondeterministic Nominal Automata
;
In
Logical methods in computer science : LMCS 18(1), Seiten/Artikel-Nr.:29
2022
This is an extended version of the conference paper [MS20
Online
DOI: 10.46298/lmcs-18(1:29)2022
DOI: 10.18154/RWTH-2022-01916
URL: https://publications.rwth-aachen.de/record/841706/files/841706.pdf
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
OpenAccess: 
PDF
Dokumenttyp
Journal Article
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
WOS Core Collection: WOS:000752234900002
SCOPUS: SCOPUS:2-s2.0-85124697450
Interne Identnummern
RWTH-2022-01916
Datensatz-ID: 841706
Beteiligte Länder
Germany, UK
Related:
Preprint
Residuality and Learning for Nondeterministic Nominal Automata
27 Seiten (2021) [10.48550/ARXIV.1910.11666v4]
Files Fulltext by arXiv.org
BibTeX |
EndNote:
XML,
Text |
RIS
; 
; 
; Clarivate Analytics Master Journal List ; Current Contents - Engineering, Computing and Technology ; DOAJ Seal ; Essential Science Indicators ; IF < 5 ; JCR ; SCOPUS ; Science Citation Index Expanded ; Web of Science Core Collection
|
The record appears in these collections: |
PDF