Edinburgh Research Explorer

Research outputs

Advanced

Reset

to
  1. 1996
  2. Ambiguity and Coherence

    Lascarides, A., Copestake, A. & Briscoe, T. 1996 In : Journal of Semantics. 13, 1, p. 41-65 25 p.

    Research output: Contribution to journalArticle

  3. An Agape of Eating: The Eucharist as Substitution (Levinas)'

    Purcell, M. 1996 In : Tijdschrift voor Filosofie en Theologie. 57, 3, p. 318-336 19 p.

    Research output: Contribution to journalArticle

  4. An Arboreal Sign of the End-Time (4Q385 2)

    Jack, A. 1996 In : Journal of Jewish Studies. XLVII, 2, p. 337-344

    Research output: Contribution to journalArticle

  5. An Empirical Study of the LSS Specification Toolkit in Use

    Robertson, D. 1996 Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, Nevada, USA. Knowledge Systems Institute, Illinois, p. 153-160 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. An RBM homologue maps to the mouse Y chromosome and is expressed in germ cells

    Elliott, D. J., Ma, K., Kerr, S. M., Thakrar, R., Speed, R., Chandley, A. C. & Cooke, H. 1996 In : Human Molecular Genetics. 5, 7, p. 869-74 6 p.

    Research output: Contribution to journalArticle

  7. An Until Hierarchy for Temporal Logic

    Etessami, K. & Wilke, T. 1996 Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30, 1996. IEEE, p. 108-117 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. An X-ray diffraction simulator for undergraduate crystallography

    Cheney, J. & de Graef, M. 1996 In : Journal of Materials Education. 18, p. 57-66 10 p.

    Research output: Contribution to journalArticle

  9. An analysis of dynamic element matching techniques in sigma-delta modulation

    Nys, O. & Henderson, R. 1996 IEEE International Symposium on Circuits and Systems, Atlanta. p. 4 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. An atomic force microscopy study on the transition from mushrooms to octopus surface micelles by changing the solvent quality

    Stamouli, A., Pelletier, E., Koutsos, V., Vegte, E. W. V. D. & Hadziioannou, G. 1996 In : Langmuir. 12, 13, p. 3221-3224 4 p.

    Research output: Contribution to journalArticle

  11. An effective tableau system for the linear time μ-calculus

    Bradfield, J., Esparza, J. & Mader, A. 1996 Automata, Languages and Programming: 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8–12, 1996 Proceedings. Meyer, F. & Monien, B. (eds.). Springer Berlin Heidelberg, Vol. 1099, p. 98-109 12 p. (Lecture Notes in Computer Science; vol. 1099)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution