Back to Results
First PageMeta Content



Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa
Add to Reading List

Document Date: 2014-04-03 01:14:55


Open Document

File Size: 371,16 KB

Share Result on Facebook
UPDATE