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

Regular expression containment: coinductive axiomatization and computational interpretation

Fritz Henglein, Lasse Nielsen

Datalogisk Institut
Datalogisk Institut

16 Citationer (Scopus)

Oversigt
Fingeraftryk

Fingeraftryk

Dyk ned i forskningsemnerne om 'Regular expression containment: coinductive axiomatization and computational interpretation'. Sammen danner de et unikt fingeraftryk.

Sorter
Vægt
Alfabetisk

Teknik og materialevidenskab

Drevet af Pure, Scopus & Elsevier Fingerprint Engine™

Alt indhold på dette websted: Copyright © 2024 Elsevier B.V. eller dets licensgivere og bidragydere. Alle rettigheder er forbeholdt, inklusive dem til tekst- og datamining, AI træning og lignende teknologier. For alt indhold med åben adgang gælder Creative Commons licensvilkårene

Vi bruger cookies til at hjælpe med at tilvejebringe og forbedre vores service og tilpasse indhold. Ved at fortsætte accepterer du brug af cookies

Københavns Universitets forskningsportal databeskyttelsespolitik

Om webtilgængelighed

Rapport sårbarhed