Norbert Preining

21 papers A* 1B 2C 2Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2024 J jnl
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation.
Log. Methods Comput. Sci.
Sewon Park, Franz Brauße, Pieter Collins, Sunyoung Kim, Michal Konecný, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Norbert Preining, Martin Ziegler
2019 J jnl
On the classification of first order Gödel logics.
Ann. Pure Appl. Log.
Matthias Baaz, Norbert Preining
2018 J jnl
Hyper Natural Deduction for Gödel Logic - A natural deduction system for parallel reasoning.
J. Log. Comput.
Arnold Beckmann, Norbert Preining
2017 J jnl
Deciding logics of linear Kripke frames with scattered end pieces.
Soft Comput.
Arnold Beckmann, Norbert Preining
2017 B conf
Gödel logics and the fully boxed fragment of LTL.
LPAR
Matthias Baaz, Norbert Preining
2016 J jnl
On Formal Verification in Imperative Multivalued Programming over Continuous Data Types.
CoRR
Norbert Th. Müller, Sewon Park, Norbert Preining, Martin Ziegler
2015 A* conf
Hyper Natural Deduction.
LICS
Arnold Beckmann, Norbert Preining
2015 J jnl
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences.
J. Log. Comput.
Arnold Beckmann, Norbert Preining
2014 C conf
Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications.
LOPSTR
Norbert Preining, Kazuhiro Ogata, Kokichi Futatsugi
2013 — conf
An Empirical Illustration to Validate a FLOSS Development Model Using S-Shaped Curves.
ICSM
Ana Erika Camargo Cruz, Hajimu Iida, Norbert Preining
2011 J jnl
First-order satisfiability in Gödel logics: An NP-complete fragment.
Theor. Comput. Sci.
Matthias Baaz, Agata Ciabattoni, Norbert Preining
2010 — conf
Gödel Logics - A Survey.
LPAR (Yogyakarta)
Norbert Preining
2009 C conf
SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability.
WoLLIC
Matthias Baaz, Agata Ciabattoni, Norbert Preining
2008 J jnl
Continuous Fraïssé Conjecture.
Order
Arnold Beckmann, Martin Goldstern, Norbert Preining
2008 J jnl
Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type omega.
J. Log. Comput.
Matthias Baaz, Norbert Preining
2007 J jnl
First-order Gödel logics.
Ann. Pure Appl. Log.
Matthias Baaz, Norbert Preining, Richard Zach
2007 J jnl
Linear Kripke frames and Gödel logics.
J. Symb. Log.
Arnold Beckmann, Norbert Preining
2006 — conf
Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta.
ISMVL
Matthias Baaz, Norbert Preining, Richard Zach
2003 — conf
Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics.
ISMVL
Matthias Baaz, Norbert Preining, Richard Zach
2002 B conf
Gödel Logics and Cantor-Bendixon Analysis.
LPAR
Norbert Preining
1997 — conf
Sketch-as-Proof.
Kurt Gödel Colloquium
Norbert Preining