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
Matematik
Axiomatization
71%
Context-free Languages
78%
Equational Theory
82%
Teknik og materialevidenskab
Context free languages
100%