Results 251 to 260 of about 3,384 (264)
Some of the next articles are maybe not open access.
The propositional dynamic logic of deterministic, well-structured programs
Theoretical Computer Science, 1983exaly
The propositional dynamic logic of deterministic, well-structured programs
Theoretical Computer Science, 1983