| Document Date: 2007-05-22 01:39:22
Open Document File Size: 178,72 KBShare Result on Facebook
City Leipzig / Automata / Tableau / / Company PSpace / / / IndustryTerm non-deterministic algorithm / deterministic algorithm / tableau-based algorithm / tableau-based and automata-based algorithms / automata-based algorithm / worst-case optimal algorithm / tableau-based algorithms / worst-case optimal algorithms / / Person Ai / Rafael Pe / / PublishedMedium Theoretical Computer Science / / Technology deterministic algorithm / tableau-based algorithms / non-deterministic algorithm / terminating algorithm / tableau-based algorithm / memory.5 The algorithm / automata-based algorithm / tableau-based and automata-based algorithms / obtained algorithm / Automata-based algorithms / /
SocialTag |
Blocking Automata for PSpace DLs Franz Baader1 , Jan Hladik1 , and Rafael Pe˜ naloza2? 1 Theoretical Computer Science, TU Dresden, Germany