Results 261 to 265 of about 79,610 (265)
Some of the next articles are maybe not open access.
The propositional dynamic logic of deterministic, well-structured programs
Theoretical Computer Science, 1983exaly
CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
Zeitschrift Für Mathematische Logik Und Grundlagen Der Mathematik, 1992exaly