Nondeterminacy and recursion via stacks and games

Authors:
Wim H. Hesselink
Affiliations:
Rijksuniversiteit Groningen, AV Groningen, The Netherlands
Venue:
Theoretical Computer Science
Year:
1994

Citing 0
Cited 3

Guarded Quantification in Least Fixed Point Logic

Journal of Logic, Language and Information
Alternating states for dual nondeterminism in imperative programming

Theoretical Computer Science
Structures with Multirelations, their Discrete Dualities and Applications

Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa

Quantified Score

Hi-index	5.23

Visualization

Abstract