Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Preining, Norbert - Institut für Diskrete Mathematik und Geometrie, Technische Universität Wien
Quantifier Elimination for quantified propositional logics on Kripke frames of type !
DIPLOMARBEIT Sketch-as-proof
MUltlog and MUltseq Reanimated and Married C.G. Fermuller1
A Guide to Quantified Propositional Godel Logic Matthias Baaz , Agata Ciabattoni , Norbert Preining , and Helmut Veith
TEX Live's new infrastructure Norbert Preining
Sketch-as-proof Norbert Preining
First-Order Godel Logics Matthias Baaz
Characterization of the Axiomatizable Prenex Fragments of First-Order Gdel Logics
Gdel logics and Cantor-Bendixon Analysis Norbert Preining
The otibetpackage Writing tibetan text
Position Paper Proof theory and proof systems for projective
TEX Live 2008 and the TEX Live Manager Norbert Preining
Linear Kripke Frames and Godel Logics Arnold Beckmann
A Dialogue Game for Intuitionistic Fuzzy Logic Based on Comparisons of Degrees of Truth
DISSERTATION Complete Recursive
Continuous Frass Conjecture Arnold Beckmann
TUGboat, Volume 0 (2060), No. 0 1001 TEX Live for Debian
