First Page | Document Content | |
---|---|---|
Date: 2014-04-03 01:14:55 | 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 baaAdd to Reading ListSource URL: www.preining.infoDownload Document from Source WebsiteFile Size: 371,16 KBShare Document on Facebook |