Concepedia

Norbert Preining

NP

Statistics

Publications

4

Citations

115

H-Index

4

Active since

2003

Affiliations

TU Wien(Current)

University of Siena

Swansea University

Norbert Preining is an author at TU Wien specializing in automated reasoning, engineering, and formal methods.

Top concepts

Publications per year

2003–2008

4

Publications

4

First-order Gödel logics

Matthias Baaz, Norbert Preining, Richard Zach · Annals of Pure and Applied Logic · 2007 · 64 citations · Full text

, , +4

Linear Kripke frames and Gödel logics

Arnold Beckmann, Norbert Preining · Journal of Symbolic Logic · 2007 · 21 citations

, , +12

Complete Recursive Axiomatizability of Godel Logics

Norbert Preining · 2003 · 15 citations

Continuous Fraïssé Conjecture

Arnold Beckmann, Martin Goldstern, Norbert Preining · Order · 2008 · 15 citations

, , +1

1–4 of 4