AIML

PSPACE-decidability of Japaridze\'s polymodal logic

Modal Logic / Computational Complexity / AIML / Boolean Satisfiability

PSPACE-decidability of Japaridze\'s polymodal logic

Modal Logic / Computational Complexity / AIML / Boolean Satisfiability
Copyright © 2017 DATOSPDF Inc.