Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Aalborg Universitets forskningsportal Hjem
Dansk
English
Hjem
Profiler
Projekter
Publikationer
Aktiviteter
Forskningsenheder
Faciliteter
Presse/medier
Priser
Forskningsdatasæt
Impacts
Søg efter ekspertise, navn eller tilknytning
Beyond Language Equivalence on Visibly Pushdown Automata
Jiri Srba
Institut for Datalogi
CISS - Center for Embedded Software Systems
Publikation
:
Bidrag til tidsskrift
›
Tidsskriftartikel
›
Forskning
›
peer review
17
Citationer (Scopus)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Beyond Language Equivalence on Visibly Pushdown Automata'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Computer Science
Automaton
100%
Pushdown Automaton
100%
Process Algebra
50%
Subclasses
25%
Equivalence Checking
25%