Sciweavers

DLOG
2008

Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi

14 years 2 months ago
Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi
Rob Shearer, Boris Motik, Ian Horrocks
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2008
Where DLOG
Authors Rob Shearer, Boris Motik, Ian Horrocks
Comments (0)