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
A categorical foundation for structured reversible flowchart languages
Robert Glück
,
Robin Kaarsgaard
Datalogisk Institut
Datalogisk Institut
8
Citationer (Scopus)
73
Downloads (Pure)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'A categorical foundation for structured reversible flowchart languages'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Keyphrases
Flowchart Languages
100%
Reversible Programming Languages
100%
Control Flow
66%
Inverse Category
66%
Recursion
33%
Diagrammatic Representation
33%
Language-based
33%
Flow Structure
33%
Further Application
33%
Extensivity
33%
Janus
33%
Reversible Programming
33%
Fundamental Theorem
33%
Language Use
33%
Categorical Semantics
33%
Computer Science
Programming Language
100%
Control Flow
66%
Categorical Semantics
33%