Filter
Other chapter contribution

Search results

  • A finite axiomatisation of inductive-inductive definitions

    Nordvall Forsberg, F. & Setzer, A., 2012, Logic, Construction, Computation. Berger, U., Hannes, D., Schuster, P. & Seisenberger, M. (eds.). Vol. 3. p. 259 - 287 (Ontos mathematical logic).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  • Converging towards broadband, augmented and platform independent "intelligent" cultural heritage applications

    Bouville, C. & Damala, A., 2006, Digital Applications for Tangible Cultural Heritage: Report in the State of the Union : Policies, Practices and Developments in Europe, EPOCH Survey 2004/2005. Niccolucci, F., Geser, G. & Varricchio, T. (eds.). Hungary, p. 88-92 5 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  • Towards a public library digital service taxonomy

    Buchanan, S. & McMenemy, D., 2010, Research and advanced technology for digital libraries. Lalmas, M., Jose, J., Rauber, A., Sebastiani, F. & Frommholz, I. (eds.). Berlin: Springer-Verlag, p. 425-428 4 p. (Lecture Notes in Computer Science; vol. 6273).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

    4 Citations (Scopus)