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 181-200 of 406 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
181Tang, Chengcheng ; Sun, Xiang ; Gomes, Alexandra ; Wallner, Johannes ; Pottmann, Helmut Form-finding with polyhedral meshes made simpleKonferenzbeitrag Inproceedings 2015
182Jiang, Caigui ; Tang, Chengcheng ; Wang, Jun ; Wallner, Johannes ; Pottmann, Helmut Freeform honeycomb structures and lobel framesKonferenzbeitrag Inproceedings 2015
183Baaz, Matthias ; Fermüller, Christian Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic LogicKonferenzbeitrag Inproceedings 2015
184Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham Herbrand Disjunctions, Cut Elimination and Context-Free Tree GrammarsKonferenzbeitrag Inproceedings2015
185Hetzl, Stefan ; Zivota, Sebastian Tree Grammars for the Elimination of Non-prenex CutsKonferenzbeitrag Inproceedings2015
186Hetzl, Stefan ; Leitsch, Alexander ; Reis, Giselle ; Tapolczai, Janos ; Weller, Daniel Introducing Quantified Cuts in Logic with EqualityKonferenzbeitrag Inproceedings 2014
187Turunen, Esko Tapani Two Paraconsistent Semantics for Pavelka's Fuzzy LogicKonferenzbeitrag Inproceedings2014
188Figliolini, G ; Stachel, Hellmuth ; Angeles, J. The Role of the Orthogonal Helicoid in the Generation of the Tooth Flanks of Involute-Gear Pairs with Skew AxesKonferenzbeitrag Inproceedings2014
189Figliolini, G ; Stachel, Hellmuth ; Angeles, J. Synthesis of the base curves of non-circular gears via the return circleKonferenzbeitrag Inproceedings2014
190Figliolini, G ; Stachel, Hellmuth ; Angeles, J. A Study on Spatial Cycloid GearingKonferenzbeitrag Inproceedings2014
191Drmota, Michael ; Fuchs, Michael ; Lee, Yi-Wen Limit Laws for the Number of Groups formed by Social Animals under the Extra Clustering ModelKonferenzbeitrag Inproceedings2014
192Stachel, Hellmuth The Design of the New Sun-Reflection-Dial in Heiligenkreuz/Austria.Konferenzbeitrag Inproceedings2014
193Drmota, Michael ; Jin, Yu An Asymptotic Analysis of Unlabeled k-TreesKonferenzbeitrag Inproceedings2014
194Bodini, Olivier ; Gittenberger, Bernhardt On the asymptotic number of BCK(2)-termsKonferenzbeitrag Inproceedings2014
195Wallner, Michael ; Banderier, Cyril Some reflections on directed Lattice PathsKonferenzbeitrag Inproceedings2014
196Nawratil, Georg Congruent Stewart Gough platforms with non-translational self-motions.Konferenzbeitrag Inproceedings2014
197Chajda, Ivan ; Eigenthaler, Günther On Boolean Subrings of RingsKonferenzbeitrag Inproceedings2014
198Schmiedhofer, Heinz ; Reis, Martin ; Flöry, Simon ; Rist, Florian ; Suter, Georg A Framework for Linking Design and Fabrication in Geometrically Complex ArchitectureKonferenzbeitrag Inproceedings2014
199Ciabattoni, Agata ; Lahav, Ori ; Spendier, Lara ; Zamansky, Anna Automated Support for the Investigation of Paraconsistent and Other LogicsKonferenzbeitrag Inproceedings2013
200Rubey, Martin ; Sagan, Bruce E. ; Westbury, Bruce W. Descent sets for oscillating tableauxKonferenzbeitrag Inproceedings 2013