PREINING, Norbert （プライニング　ノルベルト）　准教授
ソフトウェア検証研究センター

17件中1-17件目

• 1.　Gödel-Dummett Logics，Matthias Baaz, Norbert Preining，Handbook of Mathematical Fuzzy Logic, College Publications，II，585, 42，2011/12/21
• 2.　First-order satisfiability in Gödel logics: an NP-complete fragment，Matthias Baaz, Agata Ciabattoni, Norbert Preining，Theoretical Computer Science，412，6612, 12，2011/08/16
• 3.　SAT in monadic Goedel logics: A borderline between decidability and undecidability，Matthias Baaz, Agata Ciabattoni, Norbert Preining，Proceedings of WoLLIC 2009, LNCS，5512，113,11，2009
• 4.　Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type omega，Matthias Baaz, Norbert Preining，Journal of Logic and Computation，18，4，649,20，2008
• 5.　TeX Live 2008 and the TeX Live Manager，Norbert Preining，ArsTeXnica，6，67,9，2008
• 6.　Continuous Fraisse conjecture，Arnold Beckmann, Martin Goldstern, Norbert Preining，Order，25，4，281,18，2008
• 7.　TeX (Live) on Debian，Norbert Preining，TUGboat，29，136,4，2008
• 8.　Linear Kripke frames and Goedel logics，Arnold Beckmann, Norbert Preining，Journal of Symbolic Logic，71，1，26,18，2007
• 9.　TeX Live's new infrastructure，Norbert Preining，ArsTeXnica，4，69,5，2007
• 10.　First-order Goedel logics，Matthias Baaz, Norbert Preining, Richard Zach，Annals of Pure and Applied Logic，147，23,24，2007
• 11.　Completeness of a hypersequent calculus for some first-order Goedel logics with delta，Matthias Baaz, Norbert Preining, Richard Zach，Proceedings of the ISMVL 2006，9,10，2006
• 12.　TeX Live on Debian，Norbert Preining，TeX User Group, TUGboat，26，3，241, 2，2005
• 13.　Characterization of the axiomatizable prenex fragments in first-order Gödel Logics，Matthias Baaz, Norbert Preining, Richard Zach，Proceedings of the ISMVL 2003，327-336，October 2003
• 14.　A dialogue game for intuitionistic fuzzy logic based on comparision of degrees of truth，Christian Fermueller, Norbert Preining，Proceedings of the InTech 2003，142, 10，2003
• 15.　MUltlog and MUltseq reanimated and married，Matthias Baaz, Christian Fermüller, Angel Gil, Norbert Preining, Gernot Salzer，Proceedings of the 4th International Workshop on the Implementation of Logics，ULCS-03-018，2003
• 16.　Goedel logics and Cantor-Bendixon analysis，Norbert Preining，Proceedings of the LPAR 2002, LNAI，2514，327-336
• 17.　Sketch-as-proof，Norbert Preining，KGC 97 - Computational Logic and Proof Theory. Lecture Notes in Computer Science，1289，264-277，1997