Scottish Informatics and Computer Science Alliance

Research Output 2001 2020

Filter
Other chapter contribution
2012

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

Inductive Definitions
Axiomatization
Proof by induction
2010
4 Citations (Scopus)

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

taxonomy
technical language
website
vocabulary
cause
2006

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