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 Combinatory Reduction Systems: Confluence

Jeroen Ketema, Jakob Grue Simonsen

Datalogisk Institut

12 Citationer (Scopus)

Oversigt
Fingeraftryk

Fingeraftryk

Dyk ned i forskningsemnerne om 'Infinitary Combinatory Reduction Systems: Confluence'. Sammen danner de et unikt fingeraftryk.

Sorter
Vægt
Alfabetisk

Keyphrases

Mathematics

Drevet af Pure, Scopus & Elsevier Fingerprint Engine™

!!All content on this site: Copyright © 2024 Københavns Universitets forskningsportal, its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply

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