| | PDL with Negation of Atomic Programs |
Has publishing details
15(2):189-213, 2005
Has title
PDL with Negation of Atomic Programs
Has where published
Journal of Applied Non-Classical Logics
Has year
2005
Has author
Carsten Lutz +, Dirk Walther +
Has identifier
DBLP:journals/jancl/LutzW05 +
Categories Journal Paper +
|
