DYNAMIC LOGIC WITH POSSIBLE WORLD

Ruzhan Lu |

Paper Details:


Year: 1994

Venue: COLING |