Institut für Diskrete Mathematik und Geometrie

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E104 - Institut für Diskrete Mathematik und Geometrie
 
Code Kennzahl
E104
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 101-120 of 406 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lolic, Anela ; Baaz, Matthias Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel LogicKonferenzbeitrag Inproceedings2018
2Mundilova, Klara ; Wills, Tony Folding the Vesica PiscisKonferenzbeitrag Inproceedings 2018
3Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan Complexity of decision problems on totally rigid acyclic tree grammarsKonferenzbeitrag Inproceedings2018
4Nawratil, G. ; Rasoulzadeh, A. Kinematically Redundant Octahedral Motion Platform for Virtual Reality SimulationsKonferenzbeitrag Inproceedings2018
5Nawratil, Georg Alternative interpretation of the Plücker quadric's ambient space and its applicationKonferenzbeitrag Inproceedings2018
6Stachel, Hellmuth Two Remarkable Spherical Arrangements of CirclesKonferenzbeitrag Inproceedings2018
7Asinowski, Andrei ; Bacher, Axel ; Banderier, Cyril ; Gittenberger, Bernhard Analytic Combinatorics of Lattice Paths with Forbidden Patterns: Enumerative AspectsKonferenzbeitrag Inproceedings2018
8Li, Zijia ; Schicho, J. ; Schröcker, Hans-Peter The Geometry of Quadratic Quaternion Polynomials in Euclidean and Non-Euclidean PlanesKonferenzbeitrag Inproceedings2018
9Baaz, Matthias ; Preining, Norbert First Order Gödel Logics with propositional quantifiersKonferenzbeitrag Inproceedings2018
10Selig, J.M. ; Li, Z. Double Bennett Mechanisms with Assembly Modes of Different DimensionsKonferenzbeitrag Inproceedings2018
11Rossegger, Dino Elementary Bi-embeddability Spectra of StructuresKonferenzbeitrag Inproceedings2018
12Stachel, Hellmuth Spiral polyhedra in sphere and cylinderKonferenzbeitrag Inproceedings2018
13Glaeser, Georg ; Odehnal, Boris ; Stachel, Hellmuth A Spatial Version of the Theorem of the Angle of CircumferenceKonferenzbeitrag Inproceedings2018
14Stachel, Hellmuth Recalling Ivory's TheoremKonferenzbeitrag Inproceedings2018
15Pellis, Davide ; Pottmann, Helmut Aligning principal stress and curvature directionsKonferenzbeitrag Inproceedings 2018
16Schling, Eike ; Kilian, M. ; Wang, Hui ; Schikore, Jonas ; Pottmann, Helmut Design and construction of curved support structures with repetitive parametersKonferenzbeitrag Inproceedings 2018
17Ebner, Gabriel Fast Cut-Elimination using Proof Terms: An Empirical StudyKonferenzbeitrag Inproceedings2018
18Hetzl, Stefan ; Wolfsteiner, Simon Cover Complexity of Finite LanguagesKonferenzbeitrag Inproceedings2018
19Holzer, Markus ; Gruber, Hermann ; Wolfsteiner, Simon Peter On Minimal Grammar Problems for Finite LanguagesKonferenzbeitrag Inproceedings2018
20Holzer, Markus ; Wolfsteiner, Simon On the Grammatical Complexity of Finite LanguagesKonferenzbeitrag Inproceedings2018