Skip to main navigation
Skip to search
Skip to main content
the University of Groningen research portal Home
Help & FAQ
English
Nederlands
Home
Profiles
Research units
Research output
Activities
Datasets
Press/Media
Projects
Prizes
Search by expertise, name or affiliation
NONDETERMINACY AND RECURSION VIA STACKS AND GAMES
Wim H. Hesselink
Fundamental Computing
Research output
:
Contribution to journal
›
Article
›
Academic
›
peer-review
11
Citations (Scopus)
352
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'NONDETERMINACY AND RECURSION VIA STACKS AND GAMES'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Operational Semantics
100%
Formal Semantics
100%
Nondeterminacy
100%
Weakest Precondition
50%
Intermediate Stage
50%
Keyphrases
Compositional Semantics
33%
Two-player Games
33%