FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften
Universität Trier
- 0651/201-2640
- 0651/201-3927
Fernau, Henning; Stephan, Frank
Characterizations of Recursively Enumerable Languages by Programmed Grammars With Unconditional Transfer.J. Autom. Lang. Comb. Bd. 4. H. 2. 1999 S. 117 - 142
Mundhenk, M.
Complexity of propositional proof systems: tableaux, resolution, cutting-planes11th European Summerschool on Logic, Language, and Information. 1999
Seidl, H.; Neumann, A.
Contributed Papers - Linear Logic, Mu Calculus, Concurrency - On Guarding Nested FixpointsLecture notes in computer science. Bd. 1683. Berlin: Springer 1999 S. 484 - 498
Müller, J.
Convergence Acceleration of Taylor Sections by ConvolutionConstructive approximation. an internat. journal for approximations and expansions. Bd. 15. H. 4. New York, NY: Springer 1999 S. 523 - 536
Müller, Jürgen
Convergence acceleration of Taylor sections by convolution.Constr. Approx. Bd. 15. 1999 S. 523 - 536
Müller-Fürstenberger, Georg; Stephan, Gunter; Joos, Fortunat
Correcting the carbon cycle representation : how important is it for the economics of climate changeEnvironmental Modeling and Assessment : EMA. Bd. 4. H. 2/3. Dordrecht [u.a.]: Springer Science 1999 S. 133 - 140
Swoboda, Bernhard; Morschett, Dirk
Cross Docking in der KonsumgüterdistributionWirtschaftswissenschaftliches Studium. Bd. 29. H. 6. 1999 S. 331 - 334
Thoai, N. V.; Horst, R.
D.C.Programming:OverviewJournal of Optimization Theory and Applications. Bd. Journal of Optimization Theory and Applications. 1999 S. 1 - 43
Weiber, Rolf; Kollmann, Tobias; Pohl, Alexander
Das Management technologischer InnovationenMarkt- und Produktmanagement. - Berlin [u.a.] : Springer, ISBN 3-540-64278-1. 1999 S. 75 - 179
Weiber, R.; Pohl, A.; Kollmann, T. et al.
Das Management technologischer Innovationen Forschungsbericht zum MarketingTrier. 1999 (2)