Items where Subject is "A General Works"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creator's name | Item Type | Date | No Grouping
Number of items at this level: 111.

2014

Kriener, Jael and King, Andy (2014) Semantics for Prolog with Cut – Revisited. In: Sumii, Eijiro and Codish, Michael, eds. Twelfth International Symposium on Functional and Logic Programming. Lecture Notes in Computer Science . Springer. ISBN 978-3-642-29821-9. (In press) (Access to this publication is restricted)
[img]

Kriener, Jael and King, Andy and Blazy, Sandrine (2014) Proofs You Can Believe In: Proving Equivalences Between Prolog Semantics in Coq (long version). Science of Computer Programming . ISSN 0167-6423. (Submitted) (Access to this publication is restricted)
[img]

Robbins, Ed and Howe, Jacob M. and King, Andy (2014) Theory Propagation and Reification. Science of Computer Programming . ISSN 0167-6423. (Submitted) (Access to this publication is restricted)
[img]

2013

Bourquin, Martial and King, Andy and Robbins, Ed (2013) BinSlayer: Accurate Comparison of Binary Executables. In: UNSPECIFIED, Program Protection and Reverse Engineering Workshop. (Full text available)
[img]
Preview

Kriener, Jael and King, Andy and Blazy, Sandrine (2013) Proofs You Can Believe In: Proving Equivalences Between Prolog Semantics in Coq. In: Schrijvers, Tom, ed. Principles and Practice of Declarative Programming. ACM Press, pp. 37-48. ISBN 978-1-4503-2154-9. (Full text available)
[img]
Preview

Laurence, Ray (2013) Four Sisters in Ancient Rome. TED Animated Film. (Full text available)
[img]

Luckhurst, Tim (2013) "Excellent but Gullible People": The press and the People's Convention. Journalism Studies, 14 (1). pp. 62-77. ISSN 1469-9699. (Access to this publication is restricted)
[img]

2012

De Schreye, Danny and Janssens, Gerda and King, Andy, eds. (2012) Principles and Practice of Declarative Programming. ACM Press ISBN 978-1-4503-1522-7. (The full text of this publication is not available from this repository)

Biallas, Sebastian and Brauer, Jorg and King, Andy and Kowalewski, Stefan (2012) Loop Leaping with Closures (proof appendix for conference submission). University of Kent, School of Computing (Full text available)
[img]
Preview

King, Andy and Mycroft, Alan and Simon, Axel and Reps, Tom (2012) Analysis of Executables: Benefits and Challenges. In: Analysis of Executables: Benefits and Challenges, January 29 to February 3, 2012. (Full text available)
[img]
Preview

Kriener, Jael and King, Andy (2012) Mutual Exclusion by Interpolation. In: Schrijvers, Tom and Thiemann, Peter, eds. Functional and Logic Programming. Lecture Notes in Computer Science, 7294 . Springer, pp. 182-196. ISBN 978-3-642-29821-9. (Full text available)
[img]
Preview

Laurence, Ray (2012) A Glimpse of Teenage Life in Ancient Rome. TED Animated Film. (Full text available)
[img]

Pavis, P. (2012) Contemporary Mise en Scène: Staging Theatre Today. Routledge, 384 pp. ISBN 9780415553445. (The full text of this publication is not available from this repository)

Pavis, P. (2012) L'Analyse Des Spectacles. Armand Colin, France, 384 pp. ISBN 9782200259839. (The full text of this publication is not available from this repository)

2011

Brauer, Jorg and King, Andy and Kriener, Jael (2011) Existential Quantification as Incremental SAT. In: Gopalakrishnan, Ganesh and Qadeer, Shaz, eds. Computer Aided Verification. Lecture Notes in Computer Science . Springer, pp. 191-207. ISBN 978-3-642-22109-5. (Full text available)
[img]
Preview

Kriener, Jael and King, Andy (2011) RedAlert: Determinacy Inference for Prolog (proof appendix for journal paper). University of Kent, School of Computing (Full text available)
[img]
Preview

2010

Brauer, Jorg and King, Andy and Kowalewski, Stefan (2010) Range Analysis of Microcontroller Code Using Bit-Level Congruences. In: Kowalewski, Stefan and Roveri, Marco, eds. Formal Methods for Industrial Critical Systems. Lecture Notes in Computer Science, 6371 . Springer, pp. 82-98. ISBN 978-3-642-15897-1. (Full text available)
[img]
Preview

Chakrabarti, Pratik (2010) Science and Swadeshi: The Establishment and Growth of the Bengal Chemical and Pharmaceutical Works. In: Gupta, Uma Das, ed. Science and Modern India: an Institutional History c.1784-1947. History of science, philosophy, and culture in Indian civilization . Pearson Education, New Delhi. ISBN 9788131728185. (The full text of this publication is not available from this repository)

Pavis, P. (2010) The director’s new tasks. In: Delgado, Maria .M and Rebellato, Dan, eds. Contemporary European Theatre Directors. Routledge, pp. 395-411. ISBN 9780415462501 . (The full text of this publication is not available from this repository)

2009

Charles, Philip and King, Andy and Howe, Jacob M. (2009) Integer Polyhedra for Program Analysis. In: Goldberg, Andrew and Zhou, Yunhong, eds. Algorithmic Aspects in Information and Management,. Springer, pp. 85-99. ISBN 978-3-642-02157-2. (Full text available)
[img]
Preview

Hatton, Peter and Murray, Val and Pilling, Lynn (2009) Brown Fields Blue Skies. a) Brown Field Blue Skies - Residency & Performances b) Brown Field Blue Skies Exhibition, a) August 2007 - March 2008 b) March 4th to 12th June 2009 , a) Widnes Waterfront Development Site, Widnes, Cheshire b) ICIA (Institute of Contemporary Interdisciplinary Arts), University of Bath. Performance, Video, Website Intervention and Exhibition. (Full text available)
[img]
Preview
[img]
Preview

Howe, Jacob M. and King, Andy (2009) Logahedra: a New Weakly Relational Domain. In: Zhiming, Lu and Anders, Ravn, eds. Automated Technology for Verification and Analysis. Lecture Notes in Computer Science, 5799 . Springer. ISBN 978-3-642-04760-2. (Full text available)
[img]
Preview

2008

Di Falco, Salvatore and Smlae, Melinda and Perrings, Charles (2008) The role of agricultural cooperatives in sustaining the wheat diversity and productivity: the case of southern Italy. Environmental and Resource Economics, 39 (2). pp. 161-174. ISSN 0924-6460. (The full text of this publication is not available from this repository)

Genaim, S. and King, A. (2008) Inferring non-suspension conditions for logic programs with dynamic scheduling. Acm Transactions on Computational Logic, 9 (3). pp. 182-196. ISSN 1529-3785. (Full text available)
[img]
Preview

Kettle, Neil and King, Andy (2008) An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 27 (4). pp. 764-777. ISSN 0278-0070. (Full text available)
[img]
Preview

2007

Baker, Patricia A (2007) Review of Health in Antiquity. Review of: Health in Antiquity by UNSPECIFIED. Journal of Hellenic Studies , 127 . pp. 197-198. (The full text of this publication is not available from this repository)

Simon, Axel and King, Andy (2007) Taming the Wrapping of Integer Arithmetic. In: File, Gilberto and Nielson, Hanne Riis, eds. Static Analysis Symposium. Springer, pp. 182-196. ISBN 978-3-540-74060-5. (Full text available)
[img]
Preview

Simon, Axel and King, Andy (2007) Widening Polyhedra with Landmarks. In: Kobayashi, Naoki, ed. Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science, 4279 . Springer, pp. 166-182. ISBN 3-540-48937-1. (Full text available)
[img]
Preview

2006

Jonathan, Martin and Andy, King (2006) Control Generation by Program Transformation. Fundamenta informaticae, 69 (1-2). pp. 179-218. ISSN 0169-2968. (Full text available)
[img]
Preview

Kettle, Neil and King, Andy (2006) An Anytime Symmetry Detection Algorithm for ROBDDs. In: Onodera, H., ed. Asia and South Pacific Design Automation Conference. IEEE Press, pp. 243-248. ISBN 0-7803-9451-8. (Full text available)
[img]
Preview

Kettle, Neil and King, Andy and Strzemecki, Tadeusz (2006) Widening ROBDDs with Prime Implicants. In: Hermanns, Holger and Palsberg, Jens, eds. Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, 3920 . Springer, pp. 105-119. ISBN 3-540-33056-9. (Full text available)
[img]
Preview

King, Andy and Lu, Lunjin and Genaim, Samir (2006) Detecting Determinacy in Prolog Programs. In: Etalle, Sandro and Truszczynski, Mirek, eds. International Conference on Logic Programming. Lecture Notes in Computer Science, 4079 . Springer, pp. 132-147. ISBN 3-540-36635-0. (Full text available)
[img]
Preview

Li, Xuan and King, Andy and Lu, Lunjin (2006) Collapsing Closures. In: Etalle, Sandro and Truszczynski, Mirek, eds. International Conference on Logic Programming. Lecture Notes in Computer Science, 4079 . Springer, pp. 148-162. ISBN 3-540-36635-0. (Full text available)
[img]
Preview

Li, Xuan and King, Andy and Lu, Lunjin (2006) Lazy Set-Sharing Analysis. In: Wadler, Philip and Hagiya, Masimi, eds. Functional and Logic Programming. Lecture Notes in Computer Science, 3945 . Springer, pp. 177-191. ISBN 3-540-33438-6. (Full text available)
[img]
Preview

Shilling, C. (2006) Body. In: Scholte, J.A. and Robertson, R., eds. Encyclopedia of Globalization. Routledge, New York. ISBN 978-0415973144. (The full text of this publication is not available from this repository)

2005

Benoy, Florence and King, Andy and Mesnard, Fred (2005) Computing Convex Hulls with a Linear Solver. Theory and Practice of Logic Programming, 5 (1&2). pp. 259-271. ISSN 1471-0684. (Full text available)
[img]
Preview

Lu, Lunjin and King, Andy (2005) Determinacy Inference for Logic Programs. In: Sagiv, Shmuel, ed. European Symposium on Programming. Lecture Notes in Computer Science, 3444 . Springer, pp. 108-123. ISBN 3-540-25435-8. (Full text available)
[img]
Preview

Simon, Axel and King, Andy (2005) Exploiting Sparsity in Polyhedral Analysis. In: Hankin, Chris and Siveroni, Igor, eds. Static Analysis Symposium. Springer, pp. 336-351. ISBN 3-540-28584-9. (Full text available)
[img]
Preview

2004

Howe, Jacob M. and King, Andy and Lu, Lunjin (2004) Analysing Logic Programs by Reasoning Backwards. In: Bruynooghe, Maurice and Lau, Kung-Kiu, eds. Program Development in Computational Logic. Lecture Notes in Computer Science, 3049 . Springer, pp. 152-188. ISBN 3-540-22152-2. (Full text available)
[img]
Preview

Lu, Lunjin and King, Andy (2004) Backward Pair Sharing Analysis. In: Kameyama, Yukiyoshi and Stuckey, Peter, eds. Functional and Logic Programming. Lecture Notes in Computer Science . Springer, pp. 132-146. ISBN 3-540-21402-X. (Full text available)
[img]
Preview

Martin, Jonthan C. and King, Andy (2004) On the Inference of Natural Level Mappings. In: Bruynooghe, Maurice and Lau, Kung-Kiu, eds. Program Development in Computational Logic,. Lecture Notes in Computer Science, 3049 . Springer, pp. 432-452. ISBN 3-540-22152-2. (Full text available)
[img]
Preview

Simon, Axel and King, Andy (2004) Convex Hull for Planar H-Polyhedra. International Journal of Computer Mathematics, 81 (4). pp. 259-271. ISSN 0020-7160. (Full text available)
[img]
Preview

2003

Genaim, Samir and King, Andy (2003) Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. In: Degano, Pierpaolo, ed. European Symposium on Programming. Lecture Notes in Computer Science . Springer, pp. 84-98. ISBN 3-540-00886-1. (Full text available)
[img]
Preview

Howe, Jacob and King, Andy (2003) Efficient Groundness Analysis in Prolog. Theory and Practice of Logic Programming, 3 (1). pp. 95-124. ISSN 1471-0684. (Full text available)
[img]
Preview

Howe, Jacob M. and King, Andy (2003) Three Optimisations for Sharing. Journal of Logic Programming, 3 (2). pp. 243-257. ISSN 0743-1066. (Full text available)
[img]
Preview

King, Andy and Lu, Lunjin (2003) Forward versus Backward Verification of Logic Programs. In: Palamidessi, Catuscia, ed. International Conference on Logic Programming. Lecture Notes in Computer Science . Springer, pp. 315-330. ISBN 3-540-20642-6. (Full text available)
[img]
Preview

2002

King, Andy and Lu, Lunjin (2002) A Backward Analysis for Constraint Logic Programs. Theory and Practice of Logic Programming, 2 (4-5). pp. 517-547. ISSN 1471-0684. (Full text available)
[img]
Preview

2001

Smaus, Jan-Georg and Hill, Pat and Andy, King (2001) Verifying termination and error-freedom of logic programs with block declarations. Theory and Practice of Logic Programming, 1 (4). pp. 447-486. ISSN 1471-0684. (Full text available)
[img]
Preview

2000

Sobrevilla Perea, Natalia, ed. (2000) La Memoria del Sabor. EIRL, Lima Peru, 192 pp. ISBN 9972-9218-0-8. (The full text of this publication is not available from this repository)

Baugh, C.L. (2000) English court theatre 1558-1642. Theatre Research International, 25 (1). pp. 87-88. ISSN 0307-8833. (The full text of this publication is not available from this repository)

Bauld, Linda and Chesterman, John and Judge, Ken F. (2000) Measuring satisfaction with social care amongst older service users: issues from the literature. Health & Social Care in the Community, 8 (5). pp. 316-324. ISSN 0966-0410. (The full text of this publication is not available from this repository)

Bell, P.C. and Drameh, M. and Hanly, N. and Wallis, J.D. (2000) Interaction between a dimethylamino group and an electron-deficient alkene in ethyl (E)-2-cyano-3-(8-dimethylamino-1-naphthyl)propenoate. Acta Crystallographica Section C-Crystal Structure Communications, 56 (6). pp. 670-671. ISSN 0108-2701. (The full text of this publication is not available from this repository)

Burin, Mrmj and Cook, Chrostopher C. H. (2000) Alcohol withdrawal and hypokalaemia: A case report. Alcohol and Alcoholism, 35 (2). pp. 188-189. ISSN 0735-0414. (The full text of this publication is not available from this repository)

Heaton, Andrew and Abo-Zaed, Mohammad and King, Andy and Micheal, Codish (2000) A Simple Polynomial Groundness Analysis for Logic Programs. Journal of Logic Programming, 45 (1-3). pp. 143-156. ISSN 0743-1066. (Full text available)
[img]
Preview

Heaton, Andrew and Hill, Pat and King, Andy (2000) Abstract Domains for Universal and Existential Properties. In: Smolka, Gert, ed. European Symposium on Programming. Lecture Notes in Computer Science, 1782 . Springer, pp. 150-164. ISBN 3-540-67262-1. (Full text available)
[img]
Preview

Hiley, N. (2000) Cartoons in Canterbury. Tls-the Times Literary Supplement (5096). p. 19. ISSN 0307-661X. (The full text of this publication is not available from this repository)

Howe, Jacob M. and King, Andy (2000) Implementing Groundness Analysis with Definite Boolean Functions. In: Smolka, Gert, ed. European Symposium on Programming. Springer, pp. 200-214. ISBN 3-540-67262-1. (Full text available)
[img]
Preview

King, Andy (2000) Pair-sharing over rational trees. Journal of Logic Programming, 46 (1-2). pp. 139-155. ISSN 0743-1066. (Full text available)
[img]
Preview

Lam, A. (2000) Tacit knowledge, organizational learning and societal institutions: An integrated framework. Organization Studies, 21 (3). pp. 487-513. ISSN 0170-8406. (The full text of this publication is not available from this repository)

Lough, F. (2000) The art and life of the narrative of Benjamin Jarnes. Insula-Revista De Letras Y Ciencias Humanas, 55 (646). pp. 19-21. ISSN 0020-4536. (The full text of this publication is not available from this repository)

1999

Chakrabarti, Pratik (1999) Asiatic Society and its Vision of Science: Metropolitan Knowledge in a Colonial World. Calcutta Historical Journal, XXI-.X (1). (Full text available)
[img]
Preview

King, Andy and Smaus, Jan-Georg and Hill, Pat (1999) Quotienting Share for Dependency Analysis. In: Swierstra, Doaitse, ed. European Symposium on Programming. Springer, pp. 59-73. ISBN 3-540-65699-5. (Full text available)
[img]
Preview

Shen, Kish and Santos Costa, Vitor and King, Andy (1999) Distance: a New Metric for Controlling Granularity for Parallel Execution. Journal of Functional and Logic Programming, 1 (4). pp. 1-23. ISSN 1080-5230. (Full text available)
[img]
Preview

1998

Lee, A.R. (1998) Blank fictions - Consumerism, culture and the contemporary American novel. Review of: Blank Fictions: Consumerism, Culture and the Contemporary American Novel by Annesley, James. Tls-the Times Literary Supplement (4994). p. 21. ISSN 0307-661X. (The full text of this publication is not available from this repository)

Lee, A.R. (1998) Spectacular allegories - Postmodern American writing and the politics of seeing. Review of: Spectacular Allegories: Postmodern American Writing and the Politics of Seeing by Cohen, Josh . Tls-the Times Literary Supplement (4994). p. 21. ISSN 0307-661X. (The full text of this publication is not available from this repository)

Marsden, B. (1998) Blowing hot and cold: Reports and retorts on the status of the air-engine as success or failure, 1830-1855. In: Session on Anglo-American Perspectives on the Historigraphical Construction of Technical Success and Failure, at the SHOT 96 Conference, Aug, 1996, London, England. (The full text of this publication is not available from this repository)

Massender, J. (1998) American literary realism and the failed promise of contract. Journal of American Studies, 32 . pp. 533-534. ISSN 0021-8758. (The full text of this publication is not available from this repository)

Massender, J. (1998) Ernest Hemingway: The Oak Park legacy. Review of: Ernest Hemingway: The Oak Park Legacy by Nagel, James . Journal of American Studies, 32 . pp. 161-162. ISSN 0021-8758. (The full text of this publication is not available from this repository)

McLellan, D. (1998) Power and the sacred in revolutionary Russia. Religious activists in the village. Review of: Power and the Sacred in Revolutionary Russia: Religious Activists in the Village by Glennys Young, Glennys. Slavonic and East European Review, 76 (4). pp. 754-755. ISSN 0037-6795. (The full text of this publication is not available from this repository)

Montefiore, J. (1998) Oxford's poetry list (Oxford University Press). Tls-the Times Literary Supplement (4991). p. 17. ISSN 0307-661X. (The full text of this publication is not available from this repository)

1997

Gurnah, A. (1997) His promised land - The autobiography of John P. Parker, former slave and conductor on the underground railroad - Sprague,SS. Review of: His Promised Land: The Autobiography of John P.Parker, Former Slave and Conductor on the Underground Railroad by Parker, John P. and Sprague , Stuart . Tls-the Times Literary Supplement (4914). p. 14. ISSN 0307-661X. (The full text of this publication is not available from this repository)

Gurnah, A. (1997) Shadrach Minkins, from fugitive slave to citizen - Collison,G. Review of: Shadrach Minkins: From Fugitive Slave to Citizen by Collison, G . Tls-the Times Literary Supplement (4914). p. 14. ISSN 0307-661X. (The full text of this publication is not available from this repository)

Hann, Chris (1997) The nation-state, religion, and uncivil society: Two perspectives from the periphery. Daedalus, 126 (2). pp. 27-45. ISSN 0011-5266. (The full text of this publication is not available from this repository)

Hill, Pat and King, Andy (1997) Determinacy and Determinacy Analysis. Journal of Programming Languages, 1 (5). pp. 135-171. ISSN 0963-9306. (Full text available)
[img]
Preview

Khan, F. (1997) A legacy of violence (Partition in the Indian subcontinent). Index on Censorship, 26 (6). pp. 80-83. ISSN 0306-4220. (The full text of this publication is not available from this repository)

Longman, A. (1997) Holy Microsoft. New Scientist, 154 (2081). p. 59. ISSN 0262-4079. (The full text of this publication is not available from this repository)

1996

Sakwa, R. (1996) The Gorbachev Encyclopedia - Gorbachev the Man and his Times - Wieczynski, JL. Slavonic and East European Review, 74 (2). pp. 366-368. ISSN 0037-6795. (The full text of this publication is not available from this repository)

Sakwa, R. (1996) The Gorbachev Reader - Wieczynski, JL. Slavonic and East European Review, 74 (2). pp. 366-368. ISSN 0037-6795. (The full text of this publication is not available from this repository)

Sakwa, R. (1996) Gorbachev's failure in Lithuania - Senn,AE. Slavic Review, 55 (2). pp. 474-475. ISSN 0037-6779. (The full text of this publication is not available from this repository)

Seller, A.P (1996) Between friends: The correspondence of Hannah Arendt and Mary McCarthy 1949-1975 - Brightman,C. European Journal of Women's Studies, 3 (2). pp. 185-187. ISSN 1350-5068. (The full text of this publication is not available from this repository)

Shaw, D.J (1996) Poets, Patrons and Printers - Crisis Of Authority in Late M edieval France - Brown, CJ. Tls-the Times Literary Supplement (4861). p. 26. ISSN 0307-661X. (The full text of this publication is not available from this repository)

Sheringham, M. (1996) Rousseau Legacy - Emergence and Eclipse of the Writer in France - Porter, D. Tls-the Times Literary Supplement (4847). p. 31. ISSN 0307-661X. (The full text of this publication is not available from this repository)

Smith, H. (1996) US-Sandinista diplomatic relations: Voice of intolerance - Ryan,D. Journal of Latin American Studies, 28 . pp. 720-721. ISSN 0022-216X. (The full text of this publication is not available from this repository)

Song, Miri (1996) Changing conceptualizations of lone parenthood in Britain - Lone parents or single mums? European Journal of Women's Studies, 3 (4). 377-&. ISSN 1350-5068. (The full text of this publication is not available from this repository)

1995

Anderson, Graham (1995) Lucian, Works, Vol 1, General Introduction, Opuscula 1-10- French and Greek - Bompaire,J. Classical Review, 45 (1). pp. 24-26. ISSN 0009-840X. (The full text of this publication is not available from this repository)

Chan, S. (1995) The changing of the guard: Armed forces and defence policy in a democratic South Africa - Nathan,L. Journal of Southern African Studies, 21 (4). pp. 685-686. ISSN 0305-7070. (The full text of this publication is not available from this repository)

Davies, B. and Chesterman, J. (1995) How does case management improve efficiency? Effects of case management inputs on the impacts of home care service inputs. In: 5th Asia/Oceania Regional Congress of Gerontology - Total Care of the Elderly: A Multidisciplinary Approach, Hong Kong, Hong Kong. (The full text of this publication is not available from this repository)

Duckworth, C. (1995) Measuring Disability - the Role of the ICIDH. Disability and Rehabilitation, 17 (7). pp. 338-343. ISSN 0963-8288. (The full text of this publication is not available from this repository)

Glass, R. (1995) Fireside Tales of the Trveler Children - Willamson,D. Folklore, 106 . pp. 121-122. ISSN 0015-587X. (The full text of this publication is not available from this repository)

Glass, R. (1995) The Things that said of them - Shaman Stories and Oral Histories of the Tikigaq people - Lowenstein,T. Folklore, 106 . p. 124. ISSN 0015-587X. (The full text of this publication is not available from this repository)

Glass, R. (1995) The Well at the Worlds end - Folk- Tales of Scotland - Montgomerie,N, Mongomerie,W. Folklore, 106 . pp. 121-122. ISSN 0015-587X. (The full text of this publication is not available from this repository)

Glass, R. (1995) The Broonie, Silkies and Fairies - Williamson,D. Folklore, 106 . pp. 121-122. ISSN 0015-587X. (The full text of this publication is not available from this repository)

Glass, R. (1995) Hausa Folktales from the Nigwer - Glew,RS, Bablae,C. Folklore, 106 . p. 118. ISSN 0015-587X. (The full text of this publication is not available from this repository)

Glass, R. (1995) The 'Maiden who Rose from the Sea' and Other Finish Foltales - Henderson,H. Folklore, 106 . pp. 117-118. ISSN 0015-587X. (The full text of this publication is not available from this repository)

Glass, R. (1995) The Horssimen - Memories of a Traveler, 1928-58 - Willamson,D. Folklore, 106 . pp. 120-121. ISSN 0015-587X. (The full text of this publication is not available from this repository)

Griffiths, R.A. (1995) Tons of Tadpoles. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

Gurnah, A. (1995) The 'Book of Secrets' - Vassanji,MG. Tls-the Times Literary Supplement (4819). p. 22. ISSN 0307-661X. (The full text of this publication is not available from this repository)

Hann, C. (1995) Subverting Strong States - the Dialectics of Social Engineering in Hungary and Turkey. Daedalus, 124 (2). pp. 133-153. ISSN 0011-5266. (The full text of this publication is not available from this repository)

1994

Anderson, Graham (1994) A History to Books-5 of the Correspondence of Symmatchus, Q.AURELIUS - iNTRODUCCTION, Historical Commentary, Text, Translation,Indexes - Italian and Latin - Tiberga,PR. Classical Review, 44 (1). p. 214. ISSN 0009-840X. (The full text of this publication is not available from this repository)

Anderson, Graham (1994) Groningen Colloquiums on the Novel, Vol 4 - Hofmann,H. Classical Review, 44 (1). pp. 72-74. ISSN 0009-840X. (The full text of this publication is not available from this repository)

Birmingham, C. (1994) Angola to 2000 - Prospects for Recovery - Hoges,T. Journal of Southern African Studies, 20 (1). pp. 153-154. ISSN 0305-7070. (The full text of this publication is not available from this repository)

Bond, C.S. and Leonard, G.A. and Regan, A.C. and Hunter, W.N. and Andrews, J.F.P. (1994) A Chiral Tetrahydro-Gamma-Pyrannonecarboxylate Ester for Asymmetric Nazarov Cyclization. Acta Crystallographica Section C-Crystal Structure Communications, 50 . pp. 133-136. ISSN 0108-2701. (The full text of this publication is not available from this repository)

Gritsonie, P. and Pilkington, M. and Wallis, J.D and Povey, D.C (1994) Methyl DL-3-3Benzl-2,2-Dioxo-1,2,3-Oxathiazolidine-4-Carboxylate an Intermediate for Amino-Acid Synthesis. Acta Crystallographica Section C-Crystal Structure Communications, 50 . pp. 763-765. ISSN 0108-2701. (The full text of this publication is not available from this repository)

Innes, C.L. (1994) Virgin Territories and Motherlands - Colonial and Natioanlist Representations of Africa and Ireland. Feminist Review (47). pp. 1-14. ISSN 0141-7789. (The full text of this publication is not available from this repository)

King, Andy (1994) High Precision Sharing Analysis. Journal of Programming Languages, 2 (1). pp. 149-191. ISSN 0963-9306. (The full text of this publication is not available from this repository)

Rieuwerts, S. (1994) The Genuine Ballads of the People - Child,F.J. and the Ballad Cause. Journal of Folklore Research, 31 (1-3). pp. 1-34. ISSN 0737-7037. (The full text of this publication is not available from this repository)

Sayers, Janet V. (1994) Psychoanalysing Patriarchy Ills. European Journal of Women's Studies, 1 (2). pp. 227-239. ISSN 1350-5068. (The full text of this publication is not available from this repository)

Sayers, Sean (1994) Philosophy and the Information Superhighway. Radical Philosophy (67). p. 63. ISSN 0300-211X. (Full text available)
[img]
Preview

1992

Ellen, R.F. (1992) Growing Up Agreeably - Bonerate Childhood Observed - Broch,HB. Journal of Southeast Asian Studies, 23 (1). pp. 173-174. ISSN 0022-4634. (The full text of this publication is not available from this repository)

King, Andy and Soper, Paul (1992) Ordering Optimizations for Concurrent Logic Programs. In: Nerode, Anil and Taitslin, Michael, eds. Logical Foundations of Computer Science. Lecture Notes in Computer Science, 620 . Springer, pp. 221-228. ISBN 3-540-55707-5. (Full text available)
[img]
Preview

1991

Todd, J.F.J (1991) Ion Trap Mass-Spectrometer - Past, Present, and Future. Mass Spectrometry Reviews, 10 (1). pp. 3-52. ISSN 0277-7037. (The full text of this publication is not available from this repository)

This list was generated on Thu Apr 24 19:44:52 2014 BST.