Volume 41, Issue 2 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 41, Issue 2

August 2008

Filter by

Volume:

Sort by

Date published:

New to old Old to new

2 articles in this issue

On the Scalability of Description Logic Instance Retrieval
Volker Haarslev
Ralf Möller
OriginalPaper 01 August 2008 Pages: 99 - 142
Differential Dynamic Logic for Hybrid Systems
André Platzer
OriginalPaper Open access 20 August 2008 Pages: 143 - 189