Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Københavns Universitets forskningsportal Forside
Hjælp og OSS
Dansk
English
Forside
Profiler
Publikation
Forskningsenheder
Presse/medier
Aktiviteter
Priser
???studenttheses???
Forskningsdatasæt
Søg efter ekspertise, navn eller tilknytning
Infinitary axiomatization of the equational theory of context-free languages
Niels Bjørn Bugge Grathwohl,
Fritz Henglein
, Dexter Kozen
Datalogisk Institut
1
Citationer (Scopus)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Infinitary axiomatization of the equational theory of context-free languages'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Computer Science
Equational Theory
100%
context-free language
100%
Axiomatization
100%
Keyphrases
Axiomatization
100%
Equational Theory
100%
Context-free Languages
100%