Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNA
Details
The content you want is available to Zendy users.Already have an account? Click here. to sign in.
Details