Norbert Preining

What to find on these pages:

Scientific work related stuff: please go here.
I have a big passion for mountains, here are some remarks, not much at the moment.
My work as mountain guide please go here.
Travelling is a lot of fun, if you want to read some stories, please go here.
Finally, there is some this and that, take a look at the sidebar below.

GPG: My DSA key for use with gpg and pgp v5 and newer. For retrieval of my keys you can mail me with subject “get DSA-key”.
Fingerprints:
DSA: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094
RSA: BE 15 9D B2 99 05 03 06 D3 A1 56 CC 20 F1 4C 19

topics

Home

Quantifier Elimination for quantified propositional logics on Kripke frames of type ω.
M. Baaz, N. Preining. Journal of Logic and Computation, 18(4):649-668. 2008. Preprint PDF

[2008-09-30 | /Work/Publications] permanent link