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
Jump to: A | B | C | D | E | G | H | I | J | K | L | M | N | P | R | S | T | V
Number of items at this level: 136.

A

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

B

Baker, Patricia A (2007) Review of Helen King (ed), 'Health in Antiquity'. Review of: Health in Antiquity by King, Helen. Journal of Hellenic Studies, 127 . pp. 197-198. ISSN 0075-4269. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Barrett, Edd and King, Andy (1992) Range Analysis of Binaries with Minimal Effort. In: Formal Methods for Industrial Critical Systems. Lecture Notes in Computer Science, 7437 . Springer, pp. 93-107. ISBN 978-3-642-32468-0. (Full text available)
[img]
Preview

Baugh, Christopher (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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

Bell, Paul C. and Drameh, M. and Hanly, N. and Wallis, John 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 currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

Birmingham, David (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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

Bourquin, Martial and King, Andy and Robbins, Ed (2013) BinSlayer: Accurate Comparison of Binary Executables. In: 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop, January 26, 2013, Rome, Italy. (Full text available)
[img]
Preview

Brauer, Jorg and King, Andy and Kowalewski, Stefan (2010) Range Analysis of Microcontroller Code Using Bit-Level Congruences: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings. In: Kowalewski, Stefan and Roveri, Marco, eds. Formal Methods for Industrial Critical Systems. Lecture Notes in Computer Science, 6371 . Springer, pp. 82-98. ISBN 9783642158971. (Full text available)
[img]
Preview

Brauer, Jorg and King, Andy and Kriener, Jael (2011) Existential Quantification as Incremental SAT: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. In: Gopalakrishnan, Ganesh and Qadeer, Shaz, eds. Computer Aided Verification. Lecture Notes in Computer Science, 6806 . Springer, pp. 191-207. ISBN 9783642221095. (Full text available)
[img]
Preview

Burin, M.R.M.J. and Cook, Christopher 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 currently available from this repository. You may be able to access a copy if URLs are provided)

C

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

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 currently available from this repository. You may be able to access a copy if URLs are provided)

Chan, Stephen (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 currently available from this repository. You may be able to access a copy if URLs are provided)

Charles, Philip and King, Andy and Howe, Jacob M. (2009) Integer Polyhedra for Program Analysis: 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings. In: Goldberg, Andrew and Zhou, Yunhong, eds. Algorithmic Aspects in Information and Management,. Lecture Notes in Computer Science, 5564 . Springer, pp. 85-99. ISBN 9783642021572. (Full text available)
[img]
Preview

Chawdhary, Aziem and Robbins, Ed and King, Andy (2014) Simple and Efficient Algorithms for Octagons. In: Garrigue, Jacques, ed. Twelfth Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science . Springer, pp. 1-18. (In press) (Full text available)
[img]
Preview

D

Davies, Bleddyn P. and Chesterman, John (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 currently available from this repository. You may be able to access a copy if URLs are provided)

De Schreye, Danny and Janssens, Gerda (2012) PPDP '12 Proceedings of the 14th symposium on Principles and practice of declarative programming. In: 14th International Symposium on Association for Computing Machinery Principles and Practice of Declarative Programming, September 19-21, 2012, Leuven, Belgium. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Di Falco, Salvatore Household characteristics and forest dependency: evidence from common property forest management in Nepal. Ecological Economics . ISSN 0921-8009. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

E

Ellen, Roy 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 currently available from this repository. You may be able to access a copy if URLs are provided)

G

Genaim, Samir and King, Andy (2003) Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings. In: Degano, Pierpaolo, ed. European Symposium on Programming. Lecture Notes in Computer Science . Springer, pp. 84-98. ISBN 9783540008866. (Full text available)
[img]
Preview

Genaim, Samir and King, Andy (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

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

Griffiths, Richard A. (1995) Tons of Tadpoles. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gritsonie, P. and Pilkington, Melanie and Wallis, John D. and Povey, David 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 currently available from this repository. You may be able to access a copy if URLs are provided)

Guerin, Frances (2013) En Grisaille nowadays. . Catalogue and exhibition blurb. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Guerin, Frances (2012) Frances Guerin on her book Through Amateur Eyes: Film and Photography in Nazi Germany: An Interview. . online. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Guerin, Frances (2008) www.artslant.com. . online. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Guerin, Frances (2008) www.francesguerin.com. . website. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gurnah, Abdulrazak S (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 . Times Literary Supplement (4914). p. 14. ISSN 0307-661X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gurnah, Abdulrazak S (1997) Shadrach Minkins, from fugitive slave to citizen - Collison,G. Review of: Shadrach Minkins: From Fugitive Slave to Citizen by Collison, Gary L.. Times Literary Supplement (4914). p. 14. ISSN 0307-661X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gurnah, Abdulrazak S (1995) The 'Book of Secrets' - Vassanji,MG. Times Literary Supplement (4819). p. 22. ISSN 0307-661X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

H

Hann, Chris (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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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

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:9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings. In: Smolka, Gert, ed. Programming Languages and Systems. Lecture Notes in Computer Science, 1782 . Springer, pp. 150-164. ISBN 9783540672623. (Full text available)
[img]
Preview

Hiley, N. (2000) Cartoons in Canterbury. Times Literary Supplement (5096). p. 19. ISSN 0307-661X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Howe, Jacob M. 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 (2000) Implementing Groundness Analysis with Definite Boolean Functions: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings. In: Smolka, Gert, ed. European Symposium on Programming. Lecture Notes in Computer Science, 1782 . Springer, pp. 200-214. ISBN 9783540672623. (Full text available)
[img]
Preview

Howe, Jacob M. and King, Andy (2009) Logahedra: a New Weakly Relational Domain: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. In: Zhiming, Lu and Anders, Ravn, eds. Automated Technology for Verification and Analysis. Lecture Notes in Computer Science, 5799 . Springer, pp. 306-320. ISBN 9783642047602. (Full text available)
[img]
Preview

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

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

I

Innes, C. Lyn (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 currently available from this repository. You may be able to access a copy if URLs are provided)

J

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

K

Kanterian, Edward (2015) Satul fără nume [The village without a name]On the Armenian genocide. Observator Cultural . pp. 12-13. ISSN 1454-9883. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kanterian, Edward and Ben-Yami, Hanoch (2014) We are witnessing a conflict between two peoples or societies on the same piece of land over which each of them thinks it has rights. Observator Cultural, 733 . pp. 10-11. ISSN 1454-9883. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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 0780394518. (Full text available)
[img]
Preview

Kettle, Neil and King, Andy and Strzemecki, Tadeusz (2006) Widening ROBDDs with Prime Implicants: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings. 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 9783540330561. (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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

King, Andy and Lu, Lunjin (2003) Forward versus Backward Verification of Logic Programs: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings. In: Palamidessi, Catuscia, ed. Logic Programming. Lecture Notes in Computer Science, 2916 . Springer, pp. 315-330. ISBN 9783540206422. (Full text available)
[img]
Preview

King, Andy and Lu, Lunjin and Genaim, Samir (2006) Detecting Determinacy in Prolog Programs: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings. In: Etalle, Sandro and Truszczynski, Mirek, eds. Logic Programming. Lecture Notes in Computer Science, 4079 . Springer, pp. 132-147. ISBN 9783540366355. (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, Wadern, Germany. (Full text available)
[img]
Preview

King, Andy and Smaus, Jan-Georg and Hill, Pat (1999) Quotienting Share for Dependency Analysis: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings. In: Swierstra, Doaitse, ed. Programming Languages and Systems. Lecture Notes in Computer Science, 1576 . Springer, pp. 59-73. ISBN 9783540656999. (Full text available)
[img]
Preview

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 9783540557074. (Full text available)
[img]
Preview

Krauthausen, Karin and Nasim, Omar W. (2010) Papiertechniken im Labor. Interview mit Hans-Jörg Rheinberger. In: Krauthausen, Karin and Nasim, Omar W., eds. Notieren, Skizzieren Schreiben und Zeichnen als Verfahren des Entwurfs. Diaphanes, Zurich and Berlin, pp. 139-158. ISBN 9783037340530. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kriener, Jael and King, Andy (2012) Mutual Exclusion by Interpolation: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings. In: Schrijvers, Tom and Thiemann, Peter, eds. Functional and Logic Programming. Lecture Notes in Computer Science, 7294 . Springer, pp. 182-196. ISBN 9783642298219. (Full text available)
[img]
Preview

Kriener, Jael and King, Andy (2011) RedAlert: Determinacy Inference for Prolog. In: 27th International Conference on Logic Programming, July 6-10, 2011, LEXINGTON, KENTUCKY, USA. (Full text available)
[img]
Preview

Kriener, Jael and King, Andy (2014) Semantics for Prolog with Cut – Revisited. In: Sumii, Eijiro and Codish, Michael, eds. Functional and Logic Programming. Lecture Notes in Computer Science, 8475 . Springer, pp. 270-284. ISBN 9783319071510. (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, New York pp. 37-48. ISBN 9781450321549. (Full text available)
[img]
Preview

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) (Full text available)
[img]
Preview

L

Lam, Alice (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 currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

Laurence, Ray (2014) Roman Nursing Goddess – The Dea Nutrix. TED Animated Film. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lee, A. Robert (1998) Blank fictions - Consumerism, culture and the contemporary American novel. Review of: Blank Fictions: Consumerism, Culture and the Contemporary American Novel by Annesley, James. Times Literary Supplement (4994). p. 21. ISSN 0307-661X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lee, A. Robert (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 . Times Literary Supplement (4994). p. 21. ISSN 0307-661X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Li, Xuan and King, Andy and Lu, Lunjin (2006) Collapsing Closures: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings. In: Etalle, Sandro and Truszczynski, Mirek, eds. Logic Programming. Lecture Notes in Computer Science, 4079 . Springer, pp. 148-162. ISBN 9783540366355. (Full text available)
[img]
Preview

Li, Xuan and King, Andy and Lu, Lunjin (2006) Lazy Set-Sharing Analysis: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings. In: Wadler, Philip and Hagiya, Masimi, eds. Functional and Logic Programming. Lecture Notes in Computer Science, 3945 . Springer, pp. 177-191. ISBN 9783540334385. (Full text available)
[img]
Preview

Longman, A. (1997) Holy Microsoft. New Scientist, 154 (2081). p. 59. ISSN 0262-4079. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Loop, Jan (2013) Johann Heinrich Hottinger. Arabic and Islamic Studies in the Seventeenth Century. Oxford University Press ISBN 978-0-19-968214-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lough, Frank (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 currently available from this repository. You may be able to access a copy if URLs are provided)

Lu, Lunjin and King, Andy (2004) Backward Pair Sharing Analysis: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings. In: Kameyama, Yukiyoshi and Stuckey, Peter, eds. Functional and Logic Programming. Lecture Notes in Computer Science . Springer, pp. 132-146. ISBN 9783540214021. (Full text available)
[img]
Preview

Lu, Lunjin and King, Andy (2005) Determinacy Inference for Logic Programs: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. In: Sagiv, Shmuel, ed. European Symposium on Programming. Lecture Notes in Computer Science, 3444 . Springer, pp. 108-123. ISBN 9783540254355. (Full text available)
[img]
Preview

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 currently restricted. You may be able to access a copy if URLs are provided)
[img]

M

Macola, Giacomo (2015) Luba-Lunda States. In: Mackenzie, John, ed. Wiley-Blackwell Encyclopedia of Empire. John Wiley & Sons. ISBN 9781118440643. (Submitted) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Marsden, Ben (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 currently available from this repository. You may be able to access a copy if URLs are provided)

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

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

McLellan, David (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 Young, Glennys. Slavonic and East European Review, 76 (4). pp. 754-755. ISSN 0037-6795. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Montefiore, Janet E. (1998) Oxford's poetry list (Oxford University Press). Times Literary Supplement (4991). p. 17. ISSN 0307-661X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

N

Nasim, Omar W. (2008) Beobachtungen mit der Hand: Astronomische Nebelskizzen im 19. Jahrhundert. In: Hoffmann, Christoph, ed. Daten sichern Schreiben und Zeichnen als Verfahren der Aufzeichnung. Diaphanes, Zurich and Berlin, pp. 21-46. ISBN 9783037340486. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Nasim, Omar W. (2009) Explaining G.F. Stout’s Reaction to Russell’s ‘On Denoting’. In: Griffin, Nicholas and Jacquette, Dale, eds. Russell vs. Meinong: the Legacy of "On Denoting". Routledge, pp. 101-112. ISBN 9780415963640. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Nasim, Omar W. (2013) Extending the Gaze: The Temporality of Astronomical Paperwork. Science in Context, 26 (2). pp. 247-277. ISSN 0269-8897. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Nasim, Omar W. (2014) Nebulae. In: Azzouni, Safia and Wittmann, Barbara and Schmidgen, Henning, eds. Eine Naturgeschichte für das 21. Jahrhundert. Alpheus Verlag. ISBN 9783981318456. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Nasim, Omar W. (2015) The Observatory. In: Sommer, M. and Müller-Wille, Steffan and Reinhardt, C., eds. Handbuch Wissenschaftsgeschichte. Metzler Verlag, Stuttgart. ISBN 9783476024657. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Nasim, Omar W. (2012) On Scribbles in Space. In: Driesen, Christian and Koppel, Rea and Meyer-Krahmer, Benjamin and Wittrock, Eike, eds. Über Kritzeln Graphismen zwischen Schrift, Bild, Text und Zeichen. Diaphanes, Zurich and Berlin, pp. 71-90. ISBN 9783037342589. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Nasim, Omar W. (2009) On Seeing an Image of a Spiral Nebula: From Whewell to Flammarion. Nuncius, 24 (2). pp. 393-414. ISSN 0394-7394. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Nasim, Omar W. (2013) “Was ist historische Epistemologie?“. In: Kilcher, Andreas and Gugerli, David and Hagner, Michael and Hirschi, Caspar and Purtschert, Patricia and Sarasin, Philipp and Tanner, Jakob, eds. Nach Feierabend 2013: Digital Humanities. Diaphanes, pp. 123-144. ISBN 9783037344217. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Nasim, Omar W. (2010) Zeichnen als Mittel der ‘Familiarization’ zur Erkundung der Nebel im Lord Rosse-projekt. In: Krauthausen, Karin and Nasim, Omar W., eds. Notieren, Skizzieren: Schreiben und Zeichnen als Verfahren des Entwurfs. Diaphanes, Zurich and Berlin, pp. 159-188. ISBN 9783037340530. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

P

Pavis, Patrice (2012) Contemporary Mise en Scène: Staging Theatre Today. Routledge, 384 pp. ISBN 9780415553445. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Pavis, Patrice (2012) L'Analyse Des Spectacles. Armand Colin, France, 384 pp. ISBN 9782200259839. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Pavis, Patrice (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 currently available from this repository. You may be able to access a copy if URLs are provided)

R

Reeves, Jane and Shemmings, David and Blake, Emily (2014) Looking out for Lottie: Child Sexual Exploitation. University of Kent HTML based game. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

Robbins, Ed and Howe, Jacob M. and King, Andy (2014) Theory Propagation and Reification. Science of Computer Programming . ISSN 0167-6423. (In press) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

S

Sakwa, Richard (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 currently available from this repository. You may be able to access a copy if URLs are provided)

Sakwa, Richard (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 currently available from this repository. You may be able to access a copy if URLs are provided)

Sakwa, Richard (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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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

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 currently available from this repository. You may be able to access a copy if URLs are provided)

Shaw, David J. (1996) Poets, Patrons and Printers: Crisis Of Authority in Late Medieval France. Review of: Poets, Patrons and Printers: Crisis Of Authority in Late Medieval France by Brown, Cynthia. Times Literary Supplement (4861). p. 26. ISSN 0307-661X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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, 1999 . pp. 1-23. ISSN 1080-5230. (Full text available)
[img]
Preview

Sheringham, M. (1996) Rousseau Legacy - Emergence and Eclipse of the Writer in France - Porter, D. Times Literary Supplement (4847). p. 31. ISSN 0307-661X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Shilling, Chris (2006) Body. In: Scholte, Jan Aart and Robertson, Roland, eds. Encyclopedia of Globalization. Routledge, New York. ISBN 978-0415973144. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Simon, Axel and King, Andy (2005) Exploiting Sparsity in Polyhedral Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings. In: Hankin, Chris and Siveroni, Igor, eds. Static Analysis Symposium. Lecture Notes in Computer Science, 3672 . Springer, pp. 336-351. ISBN 9783540285847. (Full text available)
[img]
Preview

Simon, Axel and King, Andy (2007) Taming the Wrapping of Integer Arithmetic: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings. In: File, Gilberto and Nielson, Hanne Riis, eds. Static Analysis Symposium. Lecture Notes in Computer Science, 4634 . Springer, pp. 182-196. ISBN 9783540740605. (Full text available)
[img]
Preview

Simon, Axel and King, Andy (2007) Widening Polyhedra with Landmarks: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings. In: Kobayashi, Naoki, ed. Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science, 4279 . Springer, pp. 166-182. ISBN 9783540489375. (Full text available)
[img]
Preview

Singh, Ranjeet and King, Andy (2015) Partial Evaluation for Java Malware Detection. In: Proietti, Maurizio and Seki, Hirohisa, eds. Twenty fourth International Symposium on Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science, 8991 . Springer, pp. 1-15. ISBN 978-3-319-17822-6_8. (Full text available)
[img]
Preview

Smaus, Jan-Georg and Hill, Pat and King, Andy (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

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

Stirrup, David F. (2014) Bridging the Third Bank: Indigeneity and Installation Art at the Canada-US Border. In: Roberts, Gillian and Stirrup, David F., eds. Parallel Encounters: Culture at the Canada-US Border. Wilfrid Laurier University Press. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

T

Todd, John 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 currently available from this repository. You may be able to access a copy if URLs are provided)

V

Varakis-Martin, Angeliki (2014) ‘An Emotional Engagement with the Classical Past: Karolos Koun and the staging of ancient Greek drama in the twentieth century’. ‘An Emotional Engagement with the Classical Past: Karolos Koun and the staging of ancient Greek drama in the twentieth century’ . (Submitted) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

This list was generated on Sat Aug 1 02:48:37 2015 BST.