Searching for authors named "Norbert Preining" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
TEX Live for Debian
- …TUGboat, Volume 0 (2060), No. 0 1001 TEX Live for Debian Norbert Preining Abstract TEX Live is a…
- Add To MetaCart
-
TEX Live 2008 and the TEX Live Manager ∗
- …TEX Live 2008 and the TEX Live Manager ∗ Norbert Preining Abstract TEX Live 2008 has been released…
- Add To MetaCart
-
Gödel logics and Cantor-Bendixon analysis
- …Gödel logics and Cantor-Bendixon Analysis ⋆ Norbert Preining Institute for Algebra…
- Cited by 3 (3 self) – Add To MetaCart
-
Continuous Fraïssé conjecture
- …Continuous Fraïssé Conjecture Arnold Beckmann ∗ Martin Goldstern Norbert Preining † Institute…
- Cited by 1 (1 self) – Add To MetaCart
-
A dialogue game for intuitionistic fuzzy logic based on comparison of degrees of truth
- … ∗ Christian G. Fermüller Norbert Preining Institut 185, Logic and Theory Group Vienna University of Technology…
- Cited by 3 (2 self) – Add To MetaCart
-
Abstract
- … Abstract Norbert Preining † Università di Siena 53100 Siena, Italy preining@(email omitted); First-order Gödel…
- Add To MetaCart
-
Sketch-as-proof: A proof-theoretic analysis of axiomatic projective geometry
- … Univ.-Doz. Dr. phil. Matthias Baaz durch Norbert Preining 1160 Wien, Starkenburggasse 62 Ich m…
- Add To MetaCart
-
Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics
- …; it is characterized by any ∗ Research supported by FWF grant P15477–MAT Norbert Preining ∗ Technische Universität Wien…
- Cited by 4 (1 self) – Add To MetaCart
-
Structure
- …Continuous Fraïssé Conjecture Norbert Preining (joint work with A. Beckmann and M. Goldstern…
- Add To MetaCart
Showing 1 through 9.
