A comparison of solvers for propositional dynamic logic (2010)

First Author: Ullrich Hustadt (Co-Author)

Attributed to: Consequence Relations in Logics of AI funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://www4.in.tum.de/~schulz/PAPERS/KSS-PAAR-2010.pdf

Type: Technical Report