Home > Research > LANCASTER UNIVERSITY LEIPZIG > Publications & Outputs

Research

View graph of relations

LANCASTER UNIVERSITY LEIPZIG

261 - 270 out of 290Page size: 10
RSS feed of this list
  1. 2011
  2. Published

    First order languages: Further syntax and semantics

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 179-192

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  3. Published

    Free interpretation, quotient interpretation and substitution of a letter with a term for first order languages

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 193-203

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  4. Published

    Preliminaries to classical first order model theory

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 155-167

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  5. Published

    Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 205-222

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  6. Published

    Common inventory modeling assumptions that fall short: Arborescent networks, Poisson demand, and single-echelon approximations

    Cattani, K. D., Jacobs, F. R. & Schoenfelder, J., 1/07/2011, In: Journal of Operations Management. 29, 5, p. 488-499 12 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  7. Published

    Feel your route: A tactile display for car navigation

    Boll, S., Asif, A. & Heuten, W., 9/06/2011, In: IEEE Pervasive Computing. 10, 3, p. 35-42 8 p., 5871576.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  8. Published

    Towards a Supply Risk Management Capability Process Model: An Analysis of What Constitutes Excellence in Supply Risk Management Across Different Industry Sectors

    Foerstl, K., Blome, C., Henke, M. & Schoenherr, T., 20/05/2011, QUANTITATIVE FINANCIAL RISK MANAGEMENT. Springer, p. 265-280 16 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  9. Published

    Coverage and overlap of the new social sciences and humanities journal lists

    Hicks, D. & Wang, J., 28/02/2011, In: Journal of The American Society for Information Science and Technology. 62, 2, p. 284-294 11 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  10. Published

    Reference ontologies for manufacturing based ecosystems

    Anjum, N., 1/01/2011, Third International Working Conference on Enterprise Interoperability, IWEI 2011. p. 61-72

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  11. Published

    Shape feature based ontological engineering product models

    Anjum, N., 1/01/2011, Third International IFIP Working Conference on Enterprise Interoperability, IWEI 2011.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Previous 1...23 24 25 26 27 28 29 Next

Back to top