TCS Journal 1982 Journal Article
Expressing program looping in regular dynamic logic
- Albert R. Meyer
- Karl Winklmann
Author name cluster
Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.
TCS Journal 1982 Journal Article
STOC Conference 1979 Conference Paper
STOC Conference 1978 Conference Paper