> >

Propositional Dynamic Logic
Postscript format survey article by Marc Pauly written from a computer science perspective.

No queries for www.dis.uniroma1.it/~degiacom/esslli98-actions/contributions/pauly.ps

View keywords for www.dis.uniroma1.it/~degiacom/esslli98-actions/contributions/pauly.ps.
Back to www.dis.uniroma1.it